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 8 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 8 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 8 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 8 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 8 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