First-class type classes (2008)

Cached

Download Links

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