Linear Observations & Computational Effects

Simpson, Alexander (Principal Investigator)

3 Conference contribution
2 Article

2 results

Filter

2014
The enriched effect calculus: syntax and semantics
Egger, J., Møgelberg, R. E. & Simpson, A., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654 40 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2012
Linear-use CPS translations in the enriched effect calculus
Egger, J., Møgelberg, R. & Simpson, A., 2012, In: Logical Methods in Computer Science. 8, 4, p. 1-27 27 p., 2.
Research output: Contribution to journal › Article › peer-review

Open Access
File