Memo functions, polytypically (2000)

by Ralf Hinze
Venue:WGP 2000: Proceedings of the Second Workshop on Generic Programming