Login / Signup

Final Data Tye Specifications: A New Data Type Specification Method.

Samuel N. Kamin
Published in: POPL (1980)
Keyphrases