Parameterised notions of computation (2006)

by Robert Atkey
Venue:In MSFP 2006: Workshop on mathematically structured functional programming, ed. Conor McBride and Tarmo Uustalu. Electronic Workshops in Computing, British Computer Society
Citations:37 - 3 self