Sections 3.1 and 3.2 Flashcards
1
Q
A translation turns an expression in one language into an expression in ____ language.
A
another
2
Q
A transformation turns an expression in one language into an expression in ____ language.
A
the same
3
Q
The semantics of the enriched lambda calculus are given in terms of the ____.
A
ordinary lambda calculus
4
Q
The enriched lambda calculus is a ____ of the ordinary lambda calculus.
A
superset
5
Q
What is “let v = B in E” equivalent to in the ordinary lambda calculus?
A
(\v -> E) B
6
Q
True or false: v may appear in B in the let-expression let v = B in E.
A
False
7
Q
Translate let {x = u; y = v } in E into an expression with only single-variable bindings.
A
let x = u in (let y = v in E)
8
Q
Translate letrec v = B in Einto an ordinary let-expression.
A
let v = Y(\v -> B) in E
