Space-efficient gradual typing

DOI10.1007/S10990-011-9066-ZzbMATH Open1232.68025OpenAlexW2003969655MaRDI QIDQ656856FDOQ656856

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

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

zbMATH Keywords

coercionscastsgradual typingtype dynamic

Mathematics Subject Classification ID

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

Cites Work

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

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

Uses Software

• CLEAN
• Cecil
• Sage

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)