Sciweavers

Share
8 search results - page 1 / 2
» aplas 2001
Sort
View
APLAS
2001
ACM
10 years 3 months ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han
APLAS
2001
ACM
10 years 3 months ago
Functional Quantum Programming
Shin-Cheng Mu, Richard S. Bird
APLAS
2001
ACM
10 years 3 months ago
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
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...
Masahito Hasegawa
books