Question: Write a function cps_fun_body : ('a -> cps_cont -> 'b) -> 'a -> 'b that, when given the function, cps_exp : exp -> cps_cont ->
Write a function cps_fun_body : ('a -> cps_cont -> 'b) -> 'a -> 'b that, when given the function, cps_exp : exp -> cps_cont -> exp_cps for transforming PicoML into CPS, and an expression (that is the body of a function expression), it returns the result of transforming that expression, using cps_exp with the continution variable as its continuation
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
