First-class type classes (2008)

Cached

Download Links

by Matthieu Sozeau , Nicolas Oury
Citations:32 - 1 self