chickadee » miniML » core-eval-cbv

core-eval-cbv:procedure

Given a mini-ML term and value environment, evaluates the term using a call-by-value strategy and returns the resulting value.