Operations on records

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0018345 ◽

2005 ◽

pp. 75-81 ◽

Cited By ~ 6

Author(s):

Luca Cardelli ◽

John C. Mitchell

Download Full-text