4757 search results - page 12 / 952 » Monads for Functional Programming |
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
119
Voted
POPL
1994
ACM
15 years 8 months ago
1994
ACM
126
click to vote
CONCUR
2005
Springer
15 years 9 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...