Codifying guarded definitions with recursive schemes (1994)

by E Giminez
Venue:Proceedings of Types 94