Elsa Gunter

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

Research Output

Filter
Chapter
1993

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