Sciweavers

27119 search results - page 143 / 5424

» Languages

111

Voted

PADL
2000
Springer

96views Programming Languages» more PADL 2000»

GNU Prolog: Beyond Compiling Prolog to C

15 years 7 months ago

GNU Prolog: Beyond Compiling Prolog to C

Download gprolog.univ-paris1.fr

Daniel Diaz, Philippe Codognet

claim paper

Read More »

98

Voted

PADL
2000
Springer

83views Programming Languages» more PADL 2000»

First Class Patterns

15 years 7 months ago

First Class Patterns

Download www.pps.jussieu.fr

Mark Tullsen

claim paper

Read More »

114

Voted

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

15 years 7 months ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

101

Voted

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 7 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

99

Voted

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 7 months ago

Proof construction and non-commutativity: a cluster calculus

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

« Prev « First page 143 / 5424 Last » Next »