Stateful Contracts for Affine Types

DOI10.1007/978-3-642-11957-6_29zbMath1260.68054OpenAlexW1550526517MaRDI QIDQ3558249

Riccardo Pucella, Jesse A. Tov

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

Mathematics Subject Classification ID

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

Related Items (5)

Combining behavioural types with security analysis ⋮ A simple library implementation of binary sessions ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Context-Free Session Type Inference ⋮ Session Types with Gradual Typing

This page was built for publication: Stateful Contracts for Affine Types