A General Framework for Hindley/Milner Type Systems with Constraints (2000)

Cached

Download Links

by Martin Sulzmann
Citations:31 - 7 self