Sciweavers

20 search results - page 1 / 4

» icfp 2004

105

ICFP
2004
ACM

125views Programming Languages» more ICFP 2004»

Monadic regions

16 years 2 months ago

Monadic regions

Download ttic.uchicago.edu

Matthew Fluet, J. Gregory Morrisett

claim paper

Read More »

91

Voted

ICFP
2004
ACM

82views Programming Languages» more ICFP 2004»

Functional morphology

16 years 2 months ago

Functional morphology

Download www.cs.chalmers.se

Markus Forsberg, Aarne Ranta

claim paper

Read More »

105

ICFP
2004
ACM

114views Programming Languages» more ICFP 2004»

Improving the static analysis of embedded languages via partial evaluation

16 years 2 months ago

Improving the static analysis of embedded languages via partial evaluation

Download www.ccs.neu.edu

David Herman, Philippe Meunier

claim paper

Read More »

92

ICFP
2004
ACM

108views Programming Languages» more ICFP 2004»

A type-theoretic foundation of continuations and prompts

16 years 2 months ago

A type-theoretic foundation of continuations and prompts

Download www.cs.indiana.edu

Zena M. Ariola, Hugo Herbelin, Amr Sabry

claim paper

Read More »

106

ICFP
2004
ACM

130views Programming Languages» more ICFP 2004»

Relating models of backtracking

16 years 2 months ago

Relating models of backtracking

Download www.ccs.neu.edu

Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...

Mitchell Wand, Dale Vaillancourt

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »