4757 search results - page 12 / 952 » Monads for Functional Programming |
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
82
Voted
ICFP
1998
ACM
15 years 3 months ago
1998
ACM
67
Voted
ICALP
1997
Springer
15 years 3 months ago
1997
Springer
83
Voted
POPL
1994
ACM
15 years 3 months ago
1994
ACM
93
Voted
CONCUR
2005
Springer
15 years 5 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...