Sciweavers

10666 search results - page 168 / 2134

» Quantum programming languages

29

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Generating generic functions

14 years 10 months ago

Generating generic functions

Download www.cs.uu.nl

Johan Jeuring, Alexey Rodriguez, Gideon Smeding

claim paper

Read More »

33

ICFP
2005
ACM

125views Programming Languages» more ICFP 2005»

Combining higher-order abstract syntax with first-order abstract syntax in ATS

14 years 10 months ago

Combining higher-order abstract syntax with first-order abstract syntax in ATS

Download www.cs.bu.edu

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

24

ICFP
2005
ACM

94views Programming Languages» more ICFP 2005»

A formal treatment of the barendregt variable convention in rule inductions

14 years 10 months ago

A formal treatment of the barendregt variable convention in rule inductions

Download homepages.inf.ed.ac.uk

Christian Urban, Michael Norrish

claim paper

Read More »

24

ICFP
2004
ACM

108views Programming Languages» more ICFP 2004»

A type-theoretic foundation of continuations and prompts

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

22

ICFP
2003
ACM

91views Programming Languages» more ICFP 2003»

Meta-programming through typeful code representation

14 years 10 months ago

Meta-programming through typeful code representation

Download www.cs.bu.edu

Chiyan Chen, Hongwei Xi

claim paper

Read More »

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