Type-free Equational Reasoning in the Theeory of Inductively Defined Types.
VenueNationalFLOPS
Year1998
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/Tsukada98 ↗
Browse the full FLOPS paper archive.