scientific article
From MaRDI portal
Publication:3339256
zbMath0547.68014MaRDI QIDQ3339256
Daniel P. Friedman, Christopher T. Haynes, Eugene Kohlbecker
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
A syntactic theory of sequential control ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Obtaining lazy evaluation with continuations in SCHEME ⋮ Search algorithms in type theory
This page was built for publication:
