Codifying guarded definitions with recursive schemes (1995)

by Eduardo Giménez
Venue:In Proc. TYPES