8 search results - page 1 / 2 » aplas 2001 |
107
Voted
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
112
Voted
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
169
click to vote
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...