scientific article; zbMATH DE number 7056232
From MaRDI portal
Publication:5376659
zbMath1421.68008arXiv1801.08450MaRDI QIDQ5376659
Ian A. Mason, Carolyn L. Talcott
Publication date: 17 May 2019
Full work available at URL: https://arxiv.org/abs/1801.08450
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- A syntactic theory of sequential control
- Verification of programs that destructively manipulated data
- Inferring the equivalence of functional programs that mutate data
- The revised report on the syntactic theories of sequential control and state
- A theory for program and data type specification
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Fully abstract models of typed \(\lambda\)-calculi
- Composable semantic models for actor theories
- Testing equivalences for processes
- A variable typed logic of effects
- A foundation for actor computation
- Equivalence in functional languages with effects
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
- The next 700 programming languages
- The Mechanical Evaluation of Expressions
This page was built for publication: