Publication:4038658
From MaRDI portal
zbMath0765.68014MaRDI QIDQ4038658
Publication date: 18 May 1993
68N15: Theory of programming languages
Related Items
Unnamed Item, A type-theoretic foundation of delimited continuations, On the structural simplicity of machines and languages, Expressiveness of component-based frameworks: a study of the expressiveness of BIP, A proof-theoretic foundation of abortive continuations, A Notion of Glue Expressiveness for Component-Based Systems