POPL 1990 | Sciweavers

34

POPL
1990
ACM

153views Programming Languages» more POPL 1990»

14 years 2 months ago

Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...

Vijay A. Saraswat, Martin C. Rinard

claim paper

Read More »

31

click to vote

POPL
1990
ACM

94views Programming Languages» more POPL 1990»

An Algorithm for Optimal Lambda Calculus Reduction

14 years 2 months ago

Download www2.parc.com

John Lamping

claim paper

Read More »

30

click to vote

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

14 years 3 months ago

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

27

click to vote

POPL
1990
ACM

88views Programming Languages» more POPL 1990»

Interaction Nets

14 years 3 months ago

Download www.dcs.gla.ac.uk

Yves Lafont

claim paper

Read More »

37

click to vote

POPL
1990
ACM

174views Programming Languages» more POPL 1990»

Higher-Order Modules and the Phase Distinction

14 years 3 months ago

Download www.disi.unige.it

Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...

Robert Harper, John C. Mitchell, Eugenio Moggi

claim paper

Read More »

36

click to vote

POPL
1990
ACM

177views Programming Languages» more POPL 1990»

The Chemical Abstract Machine

14 years 3 months ago

Download fsl.cs.uiuc.edu

ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217

Gérard Berry, Gérard Boudol

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers