Implementation Techniques for Inductive Types in Plastic (1999)

by Paul Callaghan, Zhaohui Luo
Venue:Types for Proofs and Programs, volume 1956 of LNCS