Elsa Gunter

If you made any changes in Pure these will be visible here soon.

Research Output


Why we can't have SML style datatype declarations in HOL

Gunter, E. L., Dec 1 1993, IFIP Transactions A: Computer Science and Technology. A-20 ed. Publ by Elsevier Science Publishers B.V., p. 561-568 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter