Sciweavers

20 search results - page 1 / 4

» icfp 2004

17

ICFP
2004
ACM

125views Programming Languages» more ICFP 2004»

Monadic regions

14 years 5 months ago

Monadic regions

Download ttic.uchicago.edu

Matthew Fluet, J. Gregory Morrisett

claim paper

Read More »

11

ICFP
2004
ACM

82views Programming Languages» more ICFP 2004»

Functional morphology

14 years 5 months ago

Functional morphology

Download www.cs.chalmers.se

Markus Forsberg, Aarne Ranta

claim paper

Read More »

12

ICFP
2004
ACM

114views Programming Languages» more ICFP 2004»

Improving the static analysis of embedded languages via partial evaluation

14 years 5 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 »

13

ICFP
2004
ACM

108views Programming Languages» more ICFP 2004»

A type-theoretic foundation of continuations and prompts

14 years 5 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 »

10

ICFP
2004
ACM

130views Programming Languages» more ICFP 2004»

Relating models of backtracking

14 years 5 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 »