Type-safe cast
- 1 September 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 35 (9) , 58-67
- https://doi.org/10.1145/351240.351246
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Intensional polymorphism in type-erasure semanticsPublished by Association for Computing Machinery (ACM) ,1998
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- A system of constructor classes: overloading and implicit higher-order polymorphismJournal of Functional Programming, 1995
- Extensional polymorphismPublished by Association for Computing Machinery (ACM) ,1995
- Dynamic typingPublished by Springer Nature ,1992
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989
- Theorems for free!Published by Association for Computing Machinery (ACM) ,1989
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988