Search Sciweavers | Sciweavers

10871 search results - page 122 / 2175

» A stable programming language

click to vote

PADL
2000
Springer

83views Programming Languages» more PADL 2000»

First Class Patterns

15 years 6 months ago

Download www.pps.jussieu.fr

Mark Tullsen

claim paper

Read More »

107

click to vote

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

15 years 6 months ago

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

click to vote

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 6 months ago

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

104

click to vote

SAIG
2000
Springer

100views Programming Languages» more SAIG 2000»

Reasoning about Staged Computation

15 years 6 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

103

click to vote

COMPASS
1995

173views Programming Languages» more COMPASS 1995»

Combining Algebraic and Set-Theoretic Specifications

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers