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)

Test cases for graders are provided by ropas@SNU and converted into automated script by Gwangrae Kim and Hyungsik Jung@SNU.