Login / Signup

Specifying Algebraic Data Types by Domain Equations.

Hans-Dieter Ehrich
Published in: FCT (1981)
Keyphrases