Home
Posts
Publications
My setup
Contact
About
Posts tagged with "type system"
Errors are Values Too
Too Much Power Will Kill You (Every Time)
Typed Functional Programming and Software Correctness
A Subtyping Polymorphism Misfortune
Equality Broken in Scala