A Compilation Method for Dynamic Typing in ML

DOI10.1007/978-3-030-89051-3_9MaRDI QIDQ6488147zbMATH OpenFDO

Authors Atsushi Ohori, Katsuhiro Ueno

Publication date 29 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-89051-3_9

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Correctness of compiling polymorphism to dynamic typing
• Type inference with rank 1 polymorphism for type-directed compilation of ML
• Typing dynamic typing
• A library for polymorphic dynamic typing
• scientific article; zbMATH DE number 3907754

Cites work

• A reflection on types
• Associated types with class
• Dynamic typing in polymorphic languages
• Guarded recursive datatype constructors
• Type checking with open type functions

Cited in

(10)

• Encoding types in ML-like languages
• Reconciling method overloading and dynamically typed scripting languages
• Typing dynamic typing
• scientific article; zbMATH DE number 3907754 (Why is no real title available?)
• Dynamic typing in polymorphic languages
• Flexible representation analysis
• Correctness of compiling polymorphism to dynamic typing
• A library for polymorphic dynamic typing
• Implementation of Functional Languages
• A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go

This page was built for publication: A Compilation Method for Dynamic Typing in ML

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