Typing dynamic typing

DOI10.1145/581478.581494MaRDI QIDQ2949202zbMATH OpenOpenAlexFDO

Authors Arthur I. Baars, S. Doaitse Swierstra

Publication date 7 October 2015

Published in Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/581478.581494

zbMATH Keywords

coercionsdynamic typingHaskellLeibniz' rulequantified typesstatic typingtype equalitytyped interpreters

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Dynamic typing: Syntax and proof theory
• Dynamic typing in polymorphic languages
• A Compilation Method for Dynamic Typing in ML
• A reflection on types
• A library for polymorphic dynamic typing

Cited in

(16)

• Dynamic typing: Syntax and proof theory
• Preemptive type checking
• Static type checking without downcast operator
• Strongly typed rewriting for coupled software transformation
• Meta-programming with built-in type equality
• Ambivalent types for principal type inference with GADTs
• A reflection on types
• Parametricity, type equality, and higher-order polymorphism
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Typing unmarshalling without marshalling types
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• A library for polymorphic dynamic typing
• Implementation of Functional Languages
• Deep embedding with class
• A Compilation Method for Dynamic Typing in ML
• A lean specification for gadts: System F with first-class equality proofs

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Typing dynamic typing

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