scientific article; zbMATH DE number 1521621
From MaRDI portal
Publication:4510397
zbMATH Open0953.68568MaRDI QIDQ4510397FDOQ4510397
Authors:
Publication date: 26 October 2000
Title of this publication is not available (Why is that?)
Cited In (5)
- Median filtering: a new insight
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus
- Efficient virtual machine support of runtime structural reflection
- 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)
