Travelled to:1 × France
1 × Italy
Collaborated with:∅ M.Sato T.Sakurai D.B.MacQueen D.Sannella
Talks about:experiment (1) function (1) explicit (1) abstract (1) languag (1) environ (1) induct (1) extend (1) applic (1) refin (1)
Person: Rod M. Burstall
DBLP: Burstall:Rod_M=
Contributed to:
1999
1994
1980
1985Wrote 4 papers:
- TLCA-1999-SatoSB
- Explicit Environments (MS, TS, RMB), pp. 340–354.
- LICS-1994-Burstall #proving #refinement
- Terms, Proofs, and Refinement (RMB), pp. 2–7.
- LISP-1980-BurstallMS #named
- HOPE: An Experimental Applicative Language (RMB, DBM, DS), pp. 136–143.
- AS-1985-Burstall
- Inductively Defined Functions (Extended Abstract) (RMB), pp. 92–96.