lambda-typer Type Systems Course Project A type system and inference algorithms for a simple ML like language.