Implementing a normalizer using sized heterogeneous types (2006)

by Andreas Abel
Venue:In Workshop on Mathematically Structured Functional Programming, MSFP
Citations:7 - 1 self