4757 search results - page 12 / 952 » Monads for Functional Programming |
124
Voted
ICFP
1998
ACM
15 years 9 months ago
1998
ACM
105
Voted
ICALP
1997
Springer
15 years 9 months ago
1997
Springer
135
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...