Search Sciweavers | Sciweavers

9 search results - page 1 / 2

» ppdp 2000

click to vote

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

13 years 11 months ago

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

click to vote

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

13 years 11 months ago

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

click to vote

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

13 years 11 months ago

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

click to vote

PPDP
2000
Springer

86views Programming Languages» more PPDP 2000»

Justifying proofs using memo tables

13 years 11 months ago

Download www.comp.nus.edu.sg

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...

claim paper

Read More »

click to vote

PPDP
2000
Springer

92views Programming Languages» more PPDP 2000»

Symmetric monoidal sketches

13 years 11 months ago

Download www.dpmms.cam.ac.uk

We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...

Martin Hyland, John Power

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers