Code and slides for my presentation at I T.A.K.E. 2015
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
itake-2015.key
project
src
.gitignore
build.sbt
itake-2015.pdf
readme.md
youtube.png

readme.md

Let's Write a Type Checker

An implementation of Wand's type inference algorithm, in Scala, for a limited subset of Standard ML.

YouTube Video Recording