sunchao/upenn-cis194
Assignments from Upenn CIS194 - A Haskell Introductory Course
Developer Profile
sunchao
Discovered public repositories for sunchao in the GitHub catalog.
sunchao/course
Functional Programming Course
sunchao/cool-haskell
Cool Compiler Implementation in Haskell!
sunchao/tapl-scala
Code from Types And Programming Languages - in Scala
sunchao/scheme48
Write Yourself a Scheme in 48 Hours - My Walkthrough
sunchao/sicp
My solutions for exercises in "Structure and Interpretation of Computer Programs"
sunchao/nonnull-type
Proof for a simple non-null type system, by piggy-packing to fractional-permission type system.
sunchao/emacs.d
My Emacs configuration files
sunchao/sunchao.github.io
My Blog
sunchao/reftype
Twelf proof for a capability-based type system which delegates to Boyland's fractional permission system
sunchao/tiger
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
sunchao/scala-tiger
Public repository.