Deriving algorithms from type inference systems: Application to strictness analysis (1994)

Cached

Download Links

by Chris Hankin , Daniel Le Métayer
Citations:26 - 8 self