Sciweavers

4757 search results - page 12 / 952

» Monads for Functional Programming

153

ICFP
2004
ACM

125views Programming Languages» more ICFP 2004»

Monadic regions

16 years 6 months ago

Monadic regions

Download ttic.uchicago.edu

Matthew Fluet, J. Gregory Morrisett

claim paper

Read More »

143

ICFP
1998
ACM

77views Programming Languages» more ICFP 1998»

The Marriage of Effects and Monads

15 years 11 months ago

The Marriage of Effects and Monads

Download www.cs.tufts.edu

Philip Wadler

claim paper

Read More »

132

ICALP
1997
Springer

65views Programming Languages» more ICALP 1997»

Monadic Simultaneous Rigid E-Unification and Related Problems

15 years 10 months ago

Monadic Simultaneous Rigid E-Unification and Related Problems

Download research.microsoft.com

Yuri Gurevich, Andrei Voronkov

claim paper

Read More »

148

Voted

POPL
1994
ACM

108views Programming Languages» more POPL 1994»

Building Interpreters by Composing Monads

15 years 10 months ago

Building Interpreters by Composing Monads

Download web.cecs.pdx.edu

Guy L. Steele Jr.

claim paper

Read More »

172

CONCUR
2005
Springer

88views Distributed And Parallel Com...» more CONCUR 2005»

Type-Directed Concurrency

16 years 5 days ago

Type-Directed Concurrency

Download www.cs.cmu.edu

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

claim paper

Read More »

« Prev « First page 12 / 952 Last » Next »