Building a Typechecker from scratch

[TUTProfessor]

TUTProfessor submitted a new resource:

Building a Typechecker from scratch - Essentials of Type checking and Inference

Essentials of Type checking and Inference

Description​

Course overview
Untyped programs are often prone to errors, runtime exceptions, and can make debugging much harder. That’s why many production languages implement a static typechecker — an extra module, which is aimed to increase programs safety and make development simpler.
Type checking or type inference? What is Type theory and Type judgements...

Read more about this resource...

 

[pyth0n3r]

TUTProfessor submitted a new resource:

Building a Typechecker from scratch - Essentials of Type checking and Inference



Read more about this resource...

thanks for upload

 

[johncallbe]

Ow, thanks for the course