Memo functions, polytypically (2000)

by Ralf Hinze
Venue:In Second Workshop on Generic Programming