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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Mathematics Questions!