Login / Signup

A Constructive Alternative to Axiomatic Data Type Definitions.

Robert Cartwright
Published in: LISP Conference (1980)
Keyphrases