Sciweavers

6 search results - page 1 / 2

» popl 1990

9

POPL
1990
ACM

88views Programming Languages» more POPL 1990»

Interaction Nets

13 years 9 months ago

Interaction Nets

Download www.dcs.gla.ac.uk

Yves Lafont

claim paper

Read More »

11

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

13 years 9 months ago

Parallelism in Logic Programs

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

13

POPL
1990
ACM

94views Programming Languages» more POPL 1990»

An Algorithm for Optimal Lambda Calculus Reduction

13 years 8 months ago

An Algorithm for Optimal Lambda Calculus Reduction

Download www2.parc.com

John Lamping

claim paper

Read More »

11

POPL
1990
ACM

177views Programming Languages» more POPL 1990»

The Chemical Abstract Machine

13 years 9 months ago

The Chemical Abstract Machine

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 »

11

POPL
1990
ACM

153views Programming Languages» more POPL 1990»

Concurrent Constraint Programming

13 years 8 months ago

Concurrent Constraint Programming

Download www-cs-students.stanford.edu

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 »

« Prev « First page 1 / 2 Last » Next »