×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [s exp evaldefinition]
Home >
s exp evaldefinition
1 Saves repeated renaming and substitution: explicit substitution is replaced by variable bindings using new data structures (frame, environment). Can.
216 views
The environment model evaluator and compiler 1 The env model evaluator Motivation In one word: Efficiency Saves repeated renaming and substitution: Using.
214 views
Env . model evaluator: Motivation
18 views
The environment model evaluator and compiler
27 views