The semantics of Miranda's algebraic types

Mathematical Foundations of Programming Language Semantics - Lecture Notes in Computer Science ◽

10.1007/3-540-19020-1_25 ◽

1988 ◽

pp. 455-473

Author(s):

Kim B. Bruce ◽

Jon G. Riecke

Download Full-text