Travelled to:1 × Germany
1 × USA
2 × United Kingdom
Collaborated with:S.Seres O.Danvy B.Sufrin C.A.R.Hoare
Talks about:program (3) logic (3) transform (2) higher (2) order (2) cartesian (1) strachey (1) function (1) product (1) algebra (1)
Person: J. Michael Spivey
DBLP: Spivey:J=_Michael
Contributed to:
2007
20002000
1999
1990Wrote 5 papers:
- ICFP-2007-DanvyS #on the
- On Barron and Strachey’s cartesian product function (OD, JMS), pp. 41–46.
- LOPSTR-2000-SeresS #higher-order #logic programming #source code
- Higher-order transformation of logic programs (SS, JMS).
- LOPSTR-J-2000-SeresS #higher-order #logic programming #source code
- Higher-Order Transformation of Logic Programs (SS, JMS), pp. 57–68.
- ICLP-1999-SeresSH #algebra #logic programming
- Algebra of Logic Programming (SS, JMS, CARH), pp. 184–199.
- VDME-1990-SpiveyS #type inference
- Type Inference in Z (JMS, BS), pp. 426–451.