The expressive power of higher-order types or, life without CONS (0)

by N D Jones
Venue:Journal of Functional Programming