[<<][meta][>>][..]
- 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]