kwanghoon

An Open-source Software for SmallBasic Interpreter and Debugger written in Java

bidirectional type checking algorithms for higher-ranked polymorphism

PolyRPC, A multi-tier functional programming language