Dynamic typing in polymorphic languages
- 1 January 1995
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 5 (1) , 111-130
- https://doi.org/10.1017/s095679680000126x
Abstract
There are situations in programming where some dynamic typing is needed, even in the presence of advanced static type systems. We investigate the interplay of dynamic types with other advanced type constructions, discussing their integration into languages with explicit polymorphism (in the style of system F), implicit polymorphism (in the style of ML), abstract data types, and subtyping.Keywords
This publication has 6 references indexed in Scilit:
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- An extension of system F with subtypingPublished by Springer Nature ,1991
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- Structural subtyping and the notion of power typePublished by Association for Computing Machinery (ACM) ,1988
- Extending Modula-2 to Build Large, Integrated SystemsIEEE Software, 1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985