Sciweavers

10871 search results - page 41 / 2175

» A stable programming language

23

ICFP
2005
ACM

104views Programming Languages» more ICFP 2005»

Towards a type theory of contexts

14 years 7 months ago

Towards a type theory of contexts

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

24

ICFP
2004
ACM

125views Programming Languages» more ICFP 2004»

Monadic regions

14 years 7 months ago

Monadic regions

Download ttic.uchicago.edu

Matthew Fluet, J. Gregory Morrisett

claim paper

Read More »

16

ICFP
2004
ACM

82views Programming Languages» more ICFP 2004»

Functional morphology

14 years 7 months ago

Functional morphology

Download www.cs.chalmers.se

Markus Forsberg, Aarne Ranta

claim paper

Read More »

26

ICFP
2003
ACM

93views Programming Languages» more ICFP 2003»

Call-by-value is dual to call-by-name

14 years 7 months ago

Call-by-value is dual to call-by-name

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

21

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

14 years 7 months ago

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

Download www.cis.upenn.edu

Geoffrey Washburn, Stephanie Weirich

claim paper

Read More »

« Prev « First page 41 / 2175 Last » Next »