A Reflection on Types

DOI10.1007/978-3-319-30936-1_16zbMath1343.68048OpenAlexW2468080012MaRDI QIDQ3188294

Stephanie Weirich, Richard Eisenberg, Dimitrios Vytiniotis, Simon L. 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)

Uses Software

• Haskell
• Shake
• RepLib

Cites Work

• Scrap your boilerplate with class
• Guarded recursive datatype constructors
• Typing dynamic typing
• Tagless staged interpreters for typed languages
• Parametricity, type equality, and higher-order polymorphism
• Comprehending monads
• FUNCTIONAL PEARL Type-safe cast
• Dynamic typing in polymorphic languages
• System FC with explicit kind equality
• Encoding types in ML-like languages
• Unnamed Item

This page was built for publication: A Reflection on Types