Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Polymorphism, binding-time analysis, subtyping, qualified types, polymorphic recursion
Original language | English |
---|---|
Title of host publication | Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland |
Publisher | Springer |
Publication date | 1995 |
Publication status | Published - 1995 |
ID: 235238