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

Cached

Download Links

by Martin Sulzmann
Citations:30 - 8 self