Sciweavers

9 search results - page 1 / 2
» ppdp 2000
Sort
View
61
Voted
PPDP
2000
Springer
15 years 1 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
60
Voted
PPDP
2000
Springer
15 years 1 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
61
Voted
PPDP
2000
Springer
15 years 1 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
70
Voted
PPDP
2000
Springer
15 years 1 months ago
Symmetric monoidal sketches
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