Principal Type Schemes for Modular Programs

DOI10.1007/978-3-540-71316-6_30MaRDI QIDQ5756513zbMATH OpenOpenAlexFDO

Authors Derek Dreyer, Matthias Blume

Publication date 4 September 2007

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_30

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Principal type schemes for gradual programs
• Principal Type Schemes for the Strict Type Assignment System
• Principal type schemes for an extended type theory
• Principal type schemes for functional programs with overloading and subtyping
• Modular properties of algebraic type systems
• scientific article; zbMATH DE number 2185711
• A modular construction of type theories
• Principal type scheme and unification for intersection type discipline
• Modular typechecking for hierarchically extensible datatypes and functions
• A type system for recursive modules

Cited in

(7)

• Visible type application
• Type inference, principal typings, and let-polymorphism for first-class mixin modules
• Principal Type Schemes for the Strict Type Assignment System
• 1ML -- core and modules united
• scientific article; zbMATH DE number 3995028 (Why is no real title available?)
• Type-based hot swapping of running modules (extended abstract)
• OCaml + XDuce

This page was built for publication: Principal Type Schemes for Modular Programs

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