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