Results 1 -
0 of
0
No citations were found for this document.
Co-)iteration for higher-order nested datatypes, in H. Geuvers, F. Wiedijk (Eds.), Selected Papers from 2nd Int. Wksh (2003)
by A Abel, R Matthes
| Venue: | on Types for Proofs and Programs, TYPES 2002 (Berg en Dal, The Netherlands, 24–28 Apr. 2002 |
