A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Dynamic typing as staged type inference
1998
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98
Dynamic typing extends statically typed languages with a universal datatype, simplifying programs which m ust manipulate other programs as data, such as distributed, persistent, interpretive and generic programs. Current approaches, however, limit the use of polymorphism in dynamic values, and can be syntactically awkward. We introduce a new approach to dynamic typing, based on staged computation, which allows a single typereconstruction algorithm to execute partly at compile time and partly at
doi:10.1145/268946.268970
dblp:conf/popl/ShieldsSJ98
fatcat:aghidzngjzccvfz7mjtswkic2y