2014-2 Programming Lagnuage @ SNUCSE
###Homeworks implemented :
- OCaml exercises (HW1,2)
- Executor of a C-like language with some functional properties (HW3)
- Static type inference (HW4-2)
- Language translator (HW5-1, HW6-1, HW6-2)
- Garbage collector (HW5-2)
- Lambda expression reducer (HW5-3)
- Dynamic type checking (HW6-3)
- Simple / Polymorphic type system (HW7)