Implementing a normalizer using sized heterogeneous types (2006)

by A Abel
Venue:Wksh. on Mathematically Structured Functional Programming, MSFP 2006