Sciweavers

12452 search results - page 50 / 2491

» An exploration of program as language

80

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 4 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

74

Voted

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

15 years 4 months ago

Continuations for parallel logic programming

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

72

Voted

FPLE
1995

144views Programming Languages» more FPLE 1995»

Elementary Strong Functional Programming

15 years 4 months ago

Elementary Strong Functional Programming

Download www.eis.mdx.ac.uk

D. A. Turner

claim paper

Read More »

108

POPL
1995
ACM

129views Programming Languages» more POPL 1995»

The Semantics of Future and Its Use in Program Optimizations

15 years 4 months ago

The Semantics of Future and Its Use in Program Optimizations

Download users.soe.ucsc.edu

Cormac Flanagan, Matthias Felleisen

claim paper

Read More »

141

Voted

ASPLOS
1991
ACM

162views Programming Languages» more ASPLOS 1991»

Virtual Memory Primitives for User Programs

15 years 4 months ago

Virtual Memory Primitives for User Programs

Download web.cecs.pdx.edu

Andrew W. Appel, Kai Li

claim paper

Read More »

« Prev « First page 50 / 2491 Last » Next »