Three sample questions for the multiple choice exam.
In these samples, the last answer is always the correct one.


A pair consisting of a term and an environment is typically called

a) scope
b) monad
c) denotational semantics
d) closure



What is the kind of the following type in F_omega:
Int -> lambda X::*. X -> X

a) *
b) * => *
c) * => (* => *)
d) it is not well-kinded



Which of these is the correct implementation of the "bind" function in the environment monad?

a) (define (bind f g) (lambda (env) ((g env) (f env))))
b) (define (bind f g) (lambda (env) ((g (f env)))))
c) (define (bind f g) (lambda (env) ((g (f env)) env)))