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

Document Versions

Deriving algorithms from type inference systems: Application to strictness analysis –Chris Hankin, Daniel Le Métayer — 1994