Dynamic typing in polymorphic languages

DOI10.1017/S095679680000126XMaRDI QIDQ4836024zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• Type inference with partial types
• Union and intersection types to support both dynamic and static typing
• A library for polymorphic dynamic typing
• A Compilation Method for Dynamic Typing in ML
• scientific article; zbMATH DE number 4090764

Cited in

(23)

• Open and closed scopes for constrained genericity
• Efficient virtual machine support of runtime structural reflection
• Introducing a new form of parametric polymorphism in object oriented programming languages
• Practical Variable-Arity Polymorphism
• Typed generic traversal with term rewriting strategies
• Adaptation in HOT languages comparing polymorphism, modules, and objects
• Preemptive Type Checking in Dynamically Typed Languages
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• The essence of functional programming on semantic data
• Bidirectional data flow analysis for type inferencing.
• A reflection on types
• Non-parametric parametricity
• On asynchronous eventful session semantics
• Typing dynamic typing
• A Compilation Method for Dynamic Typing in ML
• Type inference with partial types
• Blame for all
• Generic type-preserving traversal strategies
• Programming examples needing polymorphic recursion
• Towards a type-based abstract semantics for Python
• Encoding types in ML-like languages
• Union and intersection types to support both dynamic and static typing
• scientific article; zbMATH DE number 3982838 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4836024)