Sciweavers

10575 search results - page 103 / 2115

» Programming Languages

70

PADL
2000
Springer

96views Programming Languages» more PADL 2000»

GNU Prolog: Beyond Compiling Prolog to C

15 years 1 months ago

GNU Prolog: Beyond Compiling Prolog to C

Download gprolog.univ-paris1.fr

Daniel Diaz, Philippe Codognet

claim paper

Read More »

68

PADL
2000
Springer

83views Programming Languages» more PADL 2000»

First Class Patterns

15 years 1 months ago

First Class Patterns

Download www.pps.jussieu.fr

Mark Tullsen

claim paper

Read More »

77

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

15 years 1 months ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

62

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 1 months ago

Proof construction and non-commutativity: a cluster calculus

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

74

SAIG
2000
Springer

100views Programming Languages» more SAIG 2000»

Reasoning about Staged Computation

15 years 1 months ago

Reasoning about Staged Computation

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

« Prev « First page 103 / 2115 Last » Next »