Sciweavers

4757 search results - page 12 / 952
» Monads for Functional Programming
Sort
View
ICFP
2004
ACM
14 years 7 months ago
Monadic regions
Matthew Fluet, J. Gregory Morrisett
CONCUR
2005
Springer
14 years 1 months ago
Type-Directed Concurrency
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...
Deepak Garg, Frank Pfenning