Unfolding abstract datatypes (2008)

by Jeremy Gibbons
Venue:In MPC’08: Proceedings of the 9th international conference on Mathematics of Program Construction