Beyond fun: Order and membership in polytypic imperative programming

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/bfb0054296 ◽

1998 ◽

pp. 286-314 ◽

Cited By ~ 2

Author(s):

David A. Naumann