A variable typed logic of effects
type: Item
instance of: scholarly article
title: A variable typed logic of effects
zbMATH Open document ID: 0832.68009
author: Furio Honsell
author: Ian A. Mason
author: Scott F. Smith
author: Carolyn Talcott
published in: Information and Computation
publication date: 1995-08-01T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 772330
zbMATH Keywords: variable typed logic of effects
zbMATH Keywords: contextual assertions
MaRDI profile type: Publication
full work available at URL: inco.1995.1077
OpenAlex ID: W2026928233
DOI: 10.1006/INCO.1995.1077
Recommended article: A Logic for Parametric Polymorphism with Effects
Recommended article: Programming and reasoning with algebraic effects and dependent types
Recommended article: Q4723729
Recommended article: Enriching an Effect Calculus with Linear Types
Recommended article: A typed functional extension of logic programming
Recommended article: An Abstract Interpretation Framework for Type and Effect Systems
Recommended article: A first order logic of effects
Recommended article: A type system for effect handlers and dynamic labels
description: scientific article; zbMATH DE number 772330