Gradual type-and-effect systems

DOI10.1017/S0956796816000162zbMath1420.68033OpenAlexW2522116950MaRDI QIDQ5371974

Ronald Garcia, Felipe Bañados Schwerter, Éric Tanter

Publication date: 23 October 2017

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

Full work available at URL: https://doi.org/10.1017/s0956796816000162

Mathematics Subject Classification ID

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

Related Items (1)

Foundations of dependent interoperability

Uses Software

• Scala

Cites Work

• Unnamed Item
• A syntactic approach to type soundness
• A theory of gradual effect systems
• Abstracting gradual typing
• Gradual Ownership Types
• Contracts for higher-order functions
• Semantics of transactional memory and automatic mutual exclusion
• Temporal higher-order contracts
• Systematic design of program transformation frameworks by abstract interpretation
• Modular monadic meta-theory
• Gradual Typing for Annotated Type Systems

This page was built for publication: Gradual type-and-effect systems