J. Michael Spivey

Publication Activity (10 Years)

Years Active: 1987-2017
Publications (10 Years): 1

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

J. Michael Spivey
Faster coroutine pipelines. Proc. ACM Program. Lang. 1 (ICFP) (2017)
J. Michael Spivey
When Maybe is not good enough. J. Funct. Program. 22 (6) (2012)
J. Michael Spivey
Algebras for combinatorial search. J. Funct. Program. 19 (3-4) (2009)
Olivier Danvy, J. Michael Spivey
On Barron and Strachey's cartesian product function. ICFP (2007)
J. Michael Spivey
Algebras for Combinatorial Search. MSFP@MPC (2006)
J. Michael Spivey
Fast, accurate call graph profiling. Softw. Pract. Exp. 34 (3) (2004)
Silvija Seres, J. Michael Spivey
Functional Reading of Logic Programs. J. Univers. Comput. Sci. 6 (4) (2000)
Silvija Seres, J. Michael Spivey
Higher-Order Transformation of Logic Programs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Silvija Seres, J. Michael Spivey
Higher-order transformation of logic programs. LOPSTR (2000)
J. Michael Spivey
Combinators for breadth-first search. J. Funct. Program. 10 (4) (2000)
J. Michael Spivey
Meeting the Challenge of Object-Oriented Programming. ZB (2000)
Silvija Seres, J. Michael Spivey, C. A. R. Hoare
Algebra of Logic Programming. ICLP (1999)
J. Michael Spivey
The Consistency Theorem for Free Type Definitions in Z. Formal Aspects Comput. 8 (3) (1996)
J. Michael Spivey
Richer Types for Z. Formal Aspects Comput. 8 (5) (1996)
J. Michael Spivey
Unification: A Case-Study in Data Refinement. Formal Aspects Comput. 7 (2) (1995)
J. Michael Spivey, Bernard Sufrin
Type Inference in Z. VDM Europe (1990)
J. Michael Spivey
A Functional Theory of Exceptions. Sci. Comput. Program. 14 (1) (1990)
J. Michael Spivey
Specifying a Real-Time Kernel. IEEE Softw. 7 (5) (1990)
J. Michael Spivey
An introduction to Z and formal specifications. Softw. Eng. J. 4 (1) (1989)
J. Michael Spivey
A Categorial Approch to the Theory of Lists. MPC (1989)
J. Michael Spivey, Bernard Sufrin
Type Inference in Z. Z User Workshop (1989)
C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
Laws of Programming. Commun. ACM 30 (8) (1987)

J. Michael Spivey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

J. Michael Spivey