[<<][meta][>>][..]

Sat Aug 6 13:44:50 CEST 2011

Next

- control flow graphs (CPS/ANF or SSA?)
- learn SSA formalism, see difference with CPS/ANF
  (-> http://delicious.com/doelie/ssa)

side tracks:
- types: GADT, dependent
- category theory pierce

[Reply][About]

[<<][meta][>>][..]