This shareable PDF can be hosted on any platform or network and is fully compliant with publisher copyright.
Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time
- Dirk Dussart, Fritz Henglein, Christian Mossin
- January 1995, Springer Science + Business Media
- DOI: 10.1007/3-540-60360-3_36
