The design and implementation of Typed Scheme

DOI10.1145/1328438.1328486MaRDI QIDQ3189858zbMATH OpenOpenAlexFDO

Authors Sam Tobin-Hochstadt, Matthias Felleisen

Publication date 12 September 2014

Published in Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1328438.1328486

zbMATH Keywords

schemetype systems

Mathematics Subject Classification ID

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

Recommendations

• Logical types for untyped languages
• Integrating typed and untyped code in a scripting language
• Types for flexible objects
• Programming Languages and Systems
• Typing local control and state using flow analysis

Cited in

(22)

• Preemptive type checking
• Reconciling method overloading and dynamically typed scripting languages
• Types for flexible objects
• Practical Optional Types for Clojure
• Typing local control and state using flow analysis
• The recursive union of some gradual types
• Practical run-time checking via unobtrusive property caching
• How to evaluate the performance of gradual type systems
• Blame and coercion: Together again for the first time
• Gradual type theory
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Logical types for untyped languages
• Call-by-name gradual type theory
• Programming Languages and Systems
• General bindings and alpha-equivalence in Nominal Isabelle
• Debugging hygienic macros
• Pragmatic gradual polymorphism with references
• Static blame for gradual typing
• Space-efficient gradual typing
• Type-directed operational semantics for gradual typing
• Implementing metcast in Scheme
• Nominal techniques in Isabelle/HOL

This page was built for publication: The design and implementation of Typed Scheme

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