Stateful contracts for affine types

DOI10.1007/978-3-642-11957-6_29zbMATH Open1260.68054OpenAlexW1550526517MaRDI QIDQ3558249FDOQ3558249

Authors: Jesse A. Tov, Riccardo Pucella 

Publication date: 4 May 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_29

Recommendations

• Practical affine types
• Polymorphic contracts
• Typed Contracts for Functional Programming
• Constraining Delimited Control with Contracts
• Session-typed concurrent contracts

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (7)

• A simple library implementation of binary sessions
• Linearity, control effects, and behavioral types
• Combining behavioural types with security analysis
• Practical affine types
• Stateful manifest contracts
• Session Types with Gradual Typing
• Context-free session type inference

This page was built for publication: Stateful contracts for affine types

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