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)

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• 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?)
• 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
• 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

(4)

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

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)