Linearly-used state in models of call-by-value

Rasmus Ejlers Møgelberg
, Sam Staton

University of Cambridge

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

1 results
- Relevance

Filter

Modeller og detaljerede kalkuler for eﬀekter i programmeringssprog
Møgelberg, R. E. (CoI)
01/10/2007 → 31/12/2010
Project: Research