Unfolding Abstract Datatypes

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-540-70594-9_8 ◽

2008 ◽

pp. 110-133 ◽

Cited By ~ 1

Author(s):

Jeremy Gibbons

Download Full-text