Correctness of compiling polymorphism to dynamic typing

DOI10.1017/S0956796816000265MaRDI QIDQ5371998zbMATH OpenFDO

Authors Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper

Publication date 23 October 2017

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• A Compilation Method for Dynamic Typing in ML
• A library for polymorphic dynamic typing
• On the type correctness of polymorphic -terms. II
• Dynamic typing: Syntax and proof theory
• On the type correctness of polymorphic -terms. I

Cites work

• A Kripke logical relation between ML and assembly
• A theory of type polymorphism in programming
• Blame for all
• Combinatory logic. Vol. II
• Contracts for higher-order functions
• Data Types as Lattices
• Embedded interpreters
• Embedding an interpreted language using higher-order functions and types
• scientific article; zbMATH DE number 3902021 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1333617 (Why is no real title available?)
• LCF considered as a programming language
• Notions of computation and monads
• Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27--28, 2006. Proceedings.
• Relational properties of domains
• Syntactic logical relations for polymorphic and recursive types

Cited in

(5)

• Corrigendum: Polymorphic type assignment and CPS conversion
• Type-directed specialization of polymorphism.
• scientific article; zbMATH DE number 177802 (Why is no real title available?)
• scientific article; zbMATH DE number 1088037 (Why is no real title available?)
• A Compilation Method for Dynamic Typing in ML

Describes a project that uses

Uses Software

• ML
• Featherweight Java

This page was built for publication: Correctness of compiling polymorphism to dynamic typing

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