Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Spivey, Mike - Computing Laboratory, University of Oxford
The Algebra of Logic Programming Silvija Seres
Suggestions for Projects Mike Spivey, September 2003
Under consideration for publication in J. Functional Programming 1 Algebras for combinatorial search
Fast, accurate call graph profiling J. M. Spivey
The fuzz Manual Mike Spivey
f (x) f(x) Application ( x:T | P E) (\lambda ...) Lambda-expression
Algebra of Logic Programming Silvija Seres Michael Spivey Tony Hoare
Embedding Prolog Silvija Seres Michael Spivey
Strachey's functional pearl, forty years on
The Algebra of Searching Mike Spivey and Silvija Seres
Hexatile a programming competition. http://spivey.oriel.ox.ac.uk/mike/comp2008
The Z Notation: A Reference Manual
Higher-order transformation of logic programs ? Silvija Seres and Mike Spivey
Embedding Prolog Silvija Seres Michael Spivey
The Algebra of Logic Programming Silvija Seres
J. Functional Programming 1 (1): 1{000, January 1998. Printed in the United Kingdom 1998 Cambridge University Press
Algebra of Logic Programming Silvija Seres Michael Spivey Tony Hoare
Z Reference Card Mike Spivey
Functional Reading of Logic Programs Silvija Seres
