Implementation Techniques for Inductive Types in Plastic (2000)

Cached

Download Links

by Paul Callaghan , Zhaohui Luo
Venue:Types for Proofs and Programs, volume 1956 of LNCS
Citations:4 - 2 self