Sciweavers

10871 search results - page 42 / 2175

» A stable programming language

18

ICFP
2003
ACM

93views Programming Languages» more ICFP 2003»

Explicit substitutions and higher-order syntax

14 years 7 months ago

Explicit substitutions and higher-order syntax

Download www.cs.ioc.ee

Neil Ghani, Tarmo Uustalu

claim paper

Read More »

21

ICFP
2002
ACM

101views Programming Languages» more ICFP 2002»

Contracts for higher-order functions

14 years 7 months ago

Contracts for higher-order functions

Download www.eecs.northwestern.edu

Robert Bruce Findler, Matthias Felleisen

claim paper

Read More »

16

ICFP
2002
ACM

68views Programming Languages» more ICFP 2002»

There and back again

14 years 7 months ago

There and back again

Download www.brics.dk

Olivier Danvy, Mayer Goldberg

claim paper

Read More »

20

ICFP
2002
ACM

142views Programming Languages» more ICFP 2002»

Bootstrapping one-sided flexible arrays

14 years 7 months ago

Bootstrapping one-sided flexible arrays

Download www.comlab.ox.ac.uk

Ralf Hinze

claim paper

Read More »

21

ICFP
2002
ACM

111views Programming Languages» more ICFP 2002»

Concatenate, reverse and map vanish for free

14 years 7 months ago

Concatenate, reverse and map vanish for free

Download wwwtcs.inf.tu-dresden.de

Janis Voigtländer

claim paper

Read More »

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