Sign in
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation.
Olivier Danvy
Kevin Millikin
Johan Munk
Ian Zerny
Published in:
Theor. Comput. Sci. (2012)
Keyphrases
</>
preprocessing step
social networks
database
neural network
computer vision
preprocessing