Objectives and Background
The purpose of this HW is to help your understanding of:
- The basic CSP transformation algorithm
- How to use a formal mathematically recursive de?nition
Problem
1. Compute the following CPS transformation. All parts should be transformed completely.
[[fn f => fn x => if x > 0 then f x else f ((-1) * x)]](FUN w -> report w)