John Rodewald
Personal notes I've decided to make public for some reason.


Nominal and Structural typing

Posted on

Nominal type system

Structural type system

Tags: programming