Polytypic Functions Over Nested Datatypes (1999)

by Ralf Hinze
Venue:Discrete Mathematics and Theoretical Computer Science
Citations:12 - 5 self