Kwanghoon Choi

Lecture_EOPL. EOPL in Haskell

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

bidi. bidirectional type checking algorithms for higher-ranked polymorphism

yapb. YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)

polyrpc. PolyRPC, A multi-tier functional programming language

Lecture_EOPL_Exercise. Exercises for EOPL in Haskell

DesignPatternExamples. Java

CapstoneDesign.

kwanghoon.github.io. Personal website

Lecture_SAV. Haskell implementation of program analyses on the WHILE language

Lecture_Haskell_Mooc.

maejiri. LF type checker written in Haskell

Lecture_IntroToCompiler. Java

smartblock. Smart Block: visual programming environment for SmartThings

tapl. {TAPL Book] Types and programming languages: type checkers

oss_git_example. Ruby

Lecture_Compiler. HTML

swlab_parser_builder. A Tool for Building a Parser in Java

checker. An LF type checker in C

AndroidAppTester. Java

DSL. Haskell

SmallBasicDataCollection. Java

TestingExamples. Java

distprog. Haskell

smllike. A test project for syntax completion (smllike)

lecture_smartcontract.

sf. Software Foundations (a translation)

MessagePassingInJava. CML style concurrent programming in Java

smartbasic. Java compiler for SmallBasic

Polyglot. Java

mastermind. A mastermind game

TheoremProver. A Haskell implementation of a tactical theorem prover (Ref. L.C. Paulson's ML for the Working Programmer)

ytv. Java

JavaAnalysis. A Type and Effect System for Activation Flow of Components in Android-like Programs

nfc-script. Java