The Semantics of Miranda's Algebraic Types.

Kim B. Bruce, Jon G. Riecke

Browse the full MFPS paper archive.