Searching for "Linearly Used Effects Monadic and CPS Transformations into the Linear Lambda Calculus." – sorted by Relevance.
-
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus Masahito
- Cited by 7 (4 self) – Add To MetaCart
-
166 Bibliography
- Computer Science, 50(1):1–101, 1987. [Has02] Masahito Hasegawa. Linearly used effects: Monadic and CPS
- Add To MetaCart

