Sciweavers

11909 search results - page 133 / 2382

» The Scheme Programming Language

171

PADL
2000
Springer

96views Programming Languages» more PADL 2000»

GNU Prolog: Beyond Compiling Prolog to C

15 years 11 months ago

GNU Prolog: Beyond Compiling Prolog to C

Download gprolog.univ-paris1.fr

Daniel Diaz, Philippe Codognet

claim paper

Read More »

160

PADL
2000
Springer

83views Programming Languages» more PADL 2000»

First Class Patterns

15 years 11 months ago

First Class Patterns

Download www.pps.jussieu.fr

Mark Tullsen

claim paper

Read More »

178

Voted

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

15 years 11 months ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

155

Voted

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 11 months ago

Proof construction and non-commutativity: a cluster calculus

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

172

Voted

SAIG
2000
Springer

100views Programming Languages» more SAIG 2000»

Reasoning about Staged Computation

15 years 11 months ago

Reasoning about Staged Computation

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

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