Implementing a normalizer using sized heterogeneous types (2006)

by A Abel
Venue:Workshop on Mathematically Structured Functional Programming, MSFP