Linear-use CPS translations in the enriched effect calculus

Jeff Egger, Rasmus Møgelberg, Alexander Simpson

Research output: Contribution to journal › Article › peer-review

1 results

Finished
Linear Observations & Computational Effects
Simpson, A. (Principal Investigator)
EPSRC
1/04/08 → 31/03/11
Project: Research