Edinburgh Research Explorer

Prof Rodney Burstall

(Former employee or visitor)

  1. 1993
  2. Deliverables: A Categorial Approach to Program Development in Type Theory

    McKinna, J. & Burstall, R. M., 3 Sep 1993, Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings. p. 32-67 36 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 1980
  4. HOPE: An Experimental Applicative Language

    Burstall, R. M., MacQueen, D. B. & Sannella, D., 1980, LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming. ACM, p. 136-143 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 1978
  6. Artificial Intelligence: An introductory course

    Bundy, A., Burstall, R., Weir, S. & Young, R., 1978, Edinburgh University Press.

    Research output: Book/ReportBook