The revised report on the syntactic theories of sequential control and state
type: Item
instance of: scholarly article
title: The revised report on the syntactic theories of sequential control and state
zbMATH Open document ID: 0764.68094
DOI: 10.1016/0304-3975(92)90014-7
author: Matthias Felleisen
author: Robert Hieb
published in: Theoretical Computer Science
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 94460
zbMATH Keywords: \(\lambda_ \nu\)-calculus
zbMATH Keywords: equational reasoning about imperative programming
describes a project that uses: ML
describes a project that uses: LISP
MaRDI profile type: Publication
full work available at URL: 0304-3975(92)90014-7
OpenAlex ID: W2151716725
Wikidata QID: Q56021135
cites work: The lambda calculus, its syntax and semantics
cites work: Q3235339
cites work: A syntactic theory of sequential state
cites work: A syntactic theory of sequential control
cites work: The next 700 programming languages
cites work: The Mechanical Evaluation of Expressions
cites work: Q5753940
cites work: Q3202991
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Q3997095
description: scientific article; zbMATH DE number 94460