Dynamic typing in polymorphic languages
From MaRDI portal
Publication:4836024
DOI10.1017/S095679680000126XzbMATH Open0819.68142OpenAlexW2017532341WikidataQ56982218 ScholiaQ56982218MaRDI QIDQ4836024FDOQ4836024
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
Recommendations
Theory of programming languages (68N15) Computing methodologies for text processing; mathematical typography (68U15)
Cited In (23)
- Open and closed scopes for constrained genericity
- Introducing a new form of parametric polymorphism in object oriented programming languages
- Efficient virtual machine support of runtime structural reflection
- 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
- Blame for all
- Type inference with partial types
- 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
- Title not available (Why is that?)
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)
