`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:

### Wrote 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.