Encoding types in ML-like languages

DOI10.1016/J.TCS.2003.11.017MaRDI QIDQ1826630zbMATH OpenOpenAlexFDO

Authors Zhe Yang

Publication date 6 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2003.11.017

zbMATH Keywords

Hindley-Milner type system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Encoding types in ML-like languages
• scientific article; zbMATH DE number 1693038
• A Compilation Method for Dynamic Typing in ML
• Extensible encoding of type hierarchies
• Encoding monomorphic and polymorphic types
• Encoding monomorphic and polymorphic types
• scientific article; zbMATH DE number 1479609
• scientific article; zbMATH DE number 587794
• Types and programing languages

Cites work

• A modal analysis of staged computation
• A system of constructor classes: overloading and implicit higher-order polymorphism
• A theory of type polymorphism in programming
• Dynamic typing in polymorphic languages
• Dynamic typing: Syntax and proof theory
• Functional unparsing
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1487847 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Revised report on the algorithmic language scheme
• The Principal Type-Scheme of an Object in Combinatory Logic
• The second Futamura projection for type-directed partial evaluation
• The system \({\mathcal F}\) of variable types, fifteen years later

Cited in

(5)

• Type-safe pattern combinators
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Functional pearl: every bit counts
• Encoding types in ML-like languages
• Codatatypes in ML

Describes a project that uses

Uses Software

• MiniML
• Polyp
• ML
• Haskell

This page was built for publication: Encoding types in ML-like languages

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