scientific article; zbMATH DE number 1521621
From MaRDI portal
Publication:4510397
zbMath0953.68568MaRDI QIDQ4510397
No author found.
Publication date: 26 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Efficient virtual machine support of runtime structural reflection ⋮ A functional correspondence between call-by-need evaluators and lazy abstract machines ⋮ Median filtering: a new insight ⋮ The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus ⋮ A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
This page was built for publication:
