scientific article
From MaRDI portal
Publication:2736592
zbMath0994.68020MaRDI QIDQ2736592
Christopher T. Haynes, Mitchell Wand, Daniel P. Friedman
Publication date: 11 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items
Unified selection from lists, arrays, and objects., A first-order one-pass CPS transformation, Gradual typing using union typing with records, A functional correspondence between call-by-need evaluators and lazy abstract machines, Scoping strategies for distributed aspects, The rewriting logic semantics project: a progress report, A static simulation of dynamic delimited control, “Little language” project modules, A rewriting logic approach to operational semantics, The Rewriting Logic Semantics Project: A Progress Report, A functional correspondence between monadic evaluators and abstract machines for languages with computational effects, A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
