scientific article; zbMATH DE number 1521621
From MaRDI portal
Publication:4510397
Cited in
(5)- Median filtering: a new insight
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
- Efficient virtual machine support of runtime structural reflection
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus
- A functional correspondence between call-by-need evaluators and lazy abstract machines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4510397)
