rokob

ReadingAbout

1 post tagged with "types"

What's in a type? — 17 May, 2014

Disclaimer: I need to put a giant disclaimer up front here about how I am not an expert in type theory. I read a lot of books and have…

All tags