4190.310 Programming Languages

Language interpreters and type systems implementation from 4190.310 PL homeworks and lecture notes.

KMinus	imperative K- interpreter
(WIP) SM5 + GC	Language translation, virtual machine, garbage collection
M	M interpreter
Simple type system	M simple type system
Polymorphic type system	M let-polymorphic type system

Run test

$ gem install curses parallel nokogiri  # prerequisites for testting

$ ./test # run test

Test code and test cases refer to simnalamburt/snucse.pl