Paul Callaghan, Zhaohui Luo. Implementation Techniques for Inductive Types in Plastic. In Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith, editors, Types for Proofs and Programs, International Workshop TYPES 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers. Volume 1956 of Lecture Notes in Computer Science, pages 94-113, Springer, 1999.
Abstract is missing.