Space-efficient gradual typing

DOI10.1007/S10990-011-9066-ZMaRDI QIDQ656856zbMATH OpenOpenAlexFDO

Authors David Herman, Aaron Tomb, Cormac Flanagan

Publication date 13 January 2012

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-011-9066-z

zbMATH Keywords

coercionscastsgradual typingtype dynamic

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Abstracting gradual typing
• Gradual type theory
• Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
• The Gradualizer: a methodology and algorithm for generating gradual type systems
• Principal type schemes for gradual programs

Cites work

• scientific article; zbMATH DE number 4030948 (Why is no real title available?)
• scientific article; zbMATH DE number 2163037 (Why is no real title available?)
• Blame for all
• Contracts as Pairs of Projections
• Contracts for higher-order functions
• Contracts made manifest
• Dynamic typing: Syntax and proof theory
• Exploring the Design Space of Higher-Order Casts
• Hybrid type checking
• On the runtime complexity of type-directed unboxing
• Operational semantics for multi-language programs
• Sound and complete models of contracts
• Space-efficient gradual typing
• Static contract checking for Haskell
• The design and implementation of Typed Scheme
• Trampolined style

Cited in

(20)

• Gradual type-and-effect systems
• Static blame for gradual typing
• Automatically generating the dynamic semantics of gradually typed languages
• How to evaluate the performance of gradual type systems
• An extended account of contract monitoring strategies as patterns of communication
• Monotonic references for efficient gradual typing
• Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Gradual typing using union typing with records
• Exploring the Design Space of Higher-Order Casts
• A delta for hybrid type checking
• Gradual type theory
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Blame and coercion: Together again for the first time
• Abstracting gradual typing
• Pragmatic gradual polymorphism with references
• Gradual typing embedded securely in JavaScript
• The Gradualizer: a methodology and algorithm for generating gradual type systems
• Space-efficient gradual typing
• Session Types with Gradual Typing

Describes a project that uses

Uses Software

• Sage
• Cecil
• CLEAN

This page was built for publication: Space-efficient gradual typing

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