Dependent Types for Low-Level Programming

DOI10.1007/978-3-540-71316-6_35MaRDI QIDQ5756515zbMATH OpenOpenAlexFDO

Authors Jeremy Condit, Matthew Harren, Zachary Anderson, David M. Gay, George C. Necula

Publication date 4 September 2007

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_35

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Dependent types and program equivalence
• Generic programming with dependent types
• scientific article; zbMATH DE number 2163037
• Subtyping dependent types
• Dependent types in mathematical theory of programming
• Dependent types with subtyping and late-bound overloading
• scientific article; zbMATH DE number 2100542

Cited in

(13)

• scientific article; zbMATH DE number 2100542 (Why is no real title available?)
• Dependently typed array programs don't go wrong
• State of the Union: Type Inference Via Craig Interpolation
• Dependent ML An approach to practical programming with dependent types
• On-Demand Refinement of Dependent Types
• Dependent types from counterexamples
• A theory of platform-dependent low-level software
• Subtyping dependent types
• Integrating linear and dependent types
• Tools and Algorithms for the Construction and Analysis of Systems
• Low-level liquid types
• scientific article; zbMATH DE number 2163037 (Why is no real title available?)
• A dependently typed assembly language

This page was built for publication: Dependent Types for Low-Level Programming

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