Gradual Typing for Annotated Type Systems

DOI10.1007/978-3-642-54833-8_4MaRDI QIDQ5410693zbMATH OpenOpenAlexFDO

Authors Peter J. Thiemann, Luminous Fennell

Publication date 16 April 2014

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

Full work available at URL https://doi.org/10.1007/978-3-642-54833-8_4

Mathematics Subject Classification ID

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

Recommendations

• The Gradualizer: a methodology and algorithm for generating gradual type systems
• Gradual type theory
• Abstracting gradual typing
• Reconciling noninterference and gradual typing
• Principal type schemes for gradual programs
• Call-by-name gradual type theory
• Call-by-name gradual type theory
• A gradual polymorphic type system with subtyping for Prolog
• Resourceful program synthesis from graded linear types

Cited in

(10)

• Consistent subtyping for all
• A theory of gradual effect systems
• Safe \& efficient gradual typing for TypeScript
• Principal type schemes for gradual programs
• Gradual ownership types
• Foundations of dependent interoperability
• Migrating gradual types
• Reconciling noninterference and gradual typing
• Gradual type-and-effect systems
• Combining behavioural types with security analysis

This page was built for publication: Gradual Typing for Annotated Type Systems

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