Dynamic typing in polymorphic languages

DOI10.1017/S095679680000126XzbMath0819.68142OpenAlexW2017532341WikidataQ56982218 ScholiaQ56982218MaRDI QIDQ4836024

Benjamin C. Pierce, Martín Abadi, Didier Rémy, Luca Cardelli

Publication date: 8 June 1995

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s095679680000126x

zbMATH Keywords

dynamic typing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies for text processing; mathematical typography (68U15)

Related Items (11)

Efficient virtual machine support of runtime structural reflection ⋮ A Reflection on Types ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Typed generic traversal with term rewriting strategies ⋮ Bidirectional data flow analysis for type inferencing. ⋮ Non-parametric parametricity ⋮ The Essence of Functional Programming on Semantic Data ⋮ On asynchronous eventful session semantics ⋮ Encoding types in ML-like languages ⋮ Generic type-preserving traversal strategies ⋮ Open and closed scopes for constrained genericity

This page was built for publication: Dynamic typing in polymorphic languages