On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation

   Abstract