Abstract | ||
---|---|---|
In an interactive functional programming environment with a Milner-style polymorphic type system (Milner 1978), a modification to one definition may imply changes in the types of other definitions. A polymorphic typechecker must carry out some re-typechecking to determine all of these changes. This paper presents a new typechecking algorithm which performs fine-grained re-typechecking based on analysis of individual type constraints. The new algorithm is compared with that of Nikhil (Nikhil 1985), which performs re-typechecking of entire definitions. |
Year | DOI | Venue |
---|---|---|
1987 | 10.1007/3-540-18317-5_18 | FPCA |
Keywords | DocType | ISBN |
performance polymorphism | Conference | 0-387-18317-5 |
Citations | PageRank | References |
4 | 1.17 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ian Toyn | 1 | 170 | 22.66 |
Alan J. Dix | 2 | 1688 | 207.48 |
Colin Runciman | 3 | 4 | 1.17 |