A Delta for Hybrid Type Checking

DOI10.1007/978-3-319-30936-1_22zbMath1343.68050OpenAlexW2487507564MaRDI QIDQ3188298

Peter Thiemann

Publication date: 17 August 2016

Published in: A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30936-1_22

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• F*
• Rosette

Cites Work

• Space-efficient gradual typing
• Dynamic typing: Syntax and proof theory
• A syntactic approach to type soundness
• Optimizing synthesis with metasketches
• Contracts for higher-order functions
• Well-Typed Programs Can’t Be Blamed
• Secure distributed programming with value-dependent types
• Contracts made manifest
• Subtyping dependent types
• Unnamed Item

This page was built for publication: A Delta for Hybrid Type Checking