Hybrid type checking

DOI10.1145/1111037.1111059MaRDI QIDQ5348927zbMATH OpenOpenAlexFDO

Authors Cormac Flanagan

Publication date 21 August 2017

Published in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

contractsdynamic checkingstatic checkingtype systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A delta for hybrid type checking
• Combining static and dynamic contract checking for Curry
• Combining static and dynamic contract checking for Curry
• scientific article; zbMATH DE number 683362
• Nested refinements: a logic for duck typing

Cited in

(25)

• Combining static and dynamic contract checking for Curry
• Preemptive type checking
• Static type checking without downcast operator
• A general semantic construction of dependent refinement type systems, categorically
• Reconciling method overloading and dynamically typed scripting languages
• Type checking for JavaScript
• Polymorphic contracts
• A Debugger-Cooperative Higher-Order Contract System in Python
• A reflection on types
• A delta for hybrid type checking
• scientific article; zbMATH DE number 4155856 (Why is no real title available?)
• scientific article; zbMATH DE number 1330430 (Why is no real title available?)
• scientific article; zbMATH DE number 683362 (Why is no real title available?)
• An extended account of contract monitoring strategies as patterns of communication
• Blame and coercion: Together again for the first time
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• Incremental analysis of logic programs with assertions and open predicates
• An integrated approach to assertion-based random testing in Prolog
• Unifying type checking and property checking for low-level code
• VeriFly: On-the-fly Assertion Checking via Incrementality
• Fifty Years of Prolog and Beyond
• Manifest contracts with intersection types
• Space-efficient gradual typing
• A verified framework for higher-order uncurrying optimizations

This page was built for publication: Hybrid type checking

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