4757 search results - page 12 / 952 » Monads for Functional Programming |
101
Voted
ICFP
1998
ACM
15 years 7 months ago
1998
ACM
91
Voted
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
119
Voted
CONCUR
2005
Springer
15 years 8 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...