Sciweavers

10666 search results - page 41 / 2134

» Quantum programming languages

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 »

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 »

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