How to evaluate the performance of gradual type systems

DOI10.1017/S0956796818000217zbMATH Open1493.68087WikidataQ128358614 ScholiaQ128358614MaRDI QIDQ4972071FDOQ4972071

Authors Ben Greenman, Asumu Takikawa, Max New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen

Publication date 22 November 2019

Published in Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
• Space-efficient gradual typing
• Safe \& efficient gradual typing for TypeScript
• Gradual type theory
• Abstracting gradual typing

Cites work

• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 3092162 (Why is no real title available?)
• Abstracting gradual typing
• Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
• Blame and coercion: Together again for the first time
• Calculating threesomes, with blame
• Complete monitors for behavioral contracts
• Constraining Delimited Control with Contracts
• How to evaluate the performance of gradual type systems
• Monotonic references for efficient gradual typing
• Operational semantics for multi-language programs
• Practical Variable-Arity Polymorphism
• Principal type schemes for gradual programs
• Safe \& efficient gradual typing for TypeScript
• Soft contract verification
• Space-efficient gradual typing
• Space-efficient manifest contracts
• The design and implementation of Typed Scheme
• Threesomes, with and without blame

Cited in

(4)

• How to evaluate the performance of gradual type systems
• Migrating gradual types
• Gradual type theory
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

Describes a project that uses

Uses Software

• JavaScript
• LISP
• Python
• Pycket
• Bigloo
• Sage
• Thorn
• Stabilizer

This page was built for publication: How to evaluate the performance of gradual type systems

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