Sign in
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion.
Olivier Danvy
Kevin Millikin
Published in:
Inf. Process. Lett. (2008)
Keyphrases
</>
lightweight
post processing
neural network
data collection
building blocks
quality of service