Coding Recursion a la Mendler (Extended Abstract) (2000)

by Tarmo Uustalu , Varmo Vene
Venue:Department of Computer Science, Utrecht University
Citations:4 - 1 self