Telecharger Cours

Program transformations - IRIF

Goal: get rid of state. Input: a functional language featuring references. Output: a pure functional language. Idea: every expression a becomes a function that.



Download