A reflection on types

DOI10.1007/978-3-319-30936-1_16MaRDI QIDQ3188294zbMATH OpenOpenAlexFDO

Authors Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton-Jones

Publication date 17 August 2016

Published in A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-30936-1_16

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Typing dynamic typing
• Dynamic typing in polymorphic languages
• Hybrid type checking
• Nested refinements: a logic for duck typing
• A library for polymorphic dynamic typing

Cites work

• scientific article; zbMATH DE number 2085175 (Why is no real title available?)
• Comprehending monads
• Dynamic typing in polymorphic languages
• Encoding types in ML-like languages
• FUNCTIONAL PEARL Type-safe cast
• Guarded recursive datatype constructors
• Parametricity, type equality, and higher-order polymorphism
• Scrap your boilerplate with class: extensible generic functions
• System FC with explicit kind equality
• Tagless staged interpreters for typed languages
• Typing dynamic typing

Cited in

(5)

• The method of types [information theory]
• A Dictionary-Passing Translation of Featherweight Go
• Typing dynamic typing
• A Compilation Method for Dynamic Typing in ML
• Union and intersection types to support both dynamic and static typing

Describes a project that uses

Uses Software

• RepLib
• Shake
• Haskell

This page was built for publication: A reflection on types

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