Sciweavers

10666 search results - page 121 / 2134

» Quantum programming languages

30

PADL
2000
Springer

96views Programming Languages» more PADL 2000»

GNU Prolog: Beyond Compiling Prolog to C

14 years 1 months ago

GNU Prolog: Beyond Compiling Prolog to C

Download gprolog.univ-paris1.fr

Daniel Diaz, Philippe Codognet

claim paper

Read More »

29

PADL
2000
Springer

83views Programming Languages» more PADL 2000»

First Class Patterns

14 years 1 months ago

First Class Patterns

Download www.pps.jussieu.fr

Mark Tullsen

claim paper

Read More »

32

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

14 years 1 months ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

29

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

14 years 1 months ago

Proof construction and non-commutativity: a cluster calculus

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

29

SAIG
2000
Springer

100views Programming Languages» more SAIG 2000»

Reasoning about Staged Computation

14 years 1 months ago

Reasoning about Staged Computation

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

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