Sciweavers

11909 search results - page 53 / 2382

» The Scheme Programming Language

25

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

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

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

24

ICFP
2003
ACM

93views Programming Languages» more ICFP 2003»

Explicit substitutions and higher-order syntax

14 years 10 months ago

Explicit substitutions and higher-order syntax

Download www.cs.ioc.ee

Neil Ghani, Tarmo Uustalu

claim paper

Read More »

25

ICFP
2002
ACM

101views Programming Languages» more ICFP 2002»

Contracts for higher-order functions

14 years 10 months ago

Contracts for higher-order functions

Download www.eecs.northwestern.edu

Robert Bruce Findler, Matthias Felleisen

claim paper

Read More »

19

ICFP
2002
ACM

68views Programming Languages» more ICFP 2002»

There and back again

14 years 10 months ago

There and back again

Download www.brics.dk

Olivier Danvy, Mayer Goldberg

claim paper

Read More »

26

ICFP
2002
ACM

142views Programming Languages» more ICFP 2002»

Bootstrapping one-sided flexible arrays

14 years 10 months ago

Bootstrapping one-sided flexible arrays

Download www.comlab.ox.ac.uk

Ralf Hinze

claim paper

Read More »

« Prev « First page 53 / 2382 Last » Next »