Let's Write a Type Checker
An implementation of Wand's type inference algorithm, in Scala, for a limited subset of Standard ML.
Code and slides for my presentation at I T.A.K.E. 2015
http://2015.itakeunconf.com/sessions/ionut-stan-lets-write-a-type-checker
An implementation of Wand's type inference algorithm, in Scala, for a limited subset of Standard ML.
Code and slides for my presentation at I T.A.K.E. 2015
http://2015.itakeunconf.com/sessions/ionut-stan-lets-write-a-type-checker