It's the Type Theory Baby!
Michele FinelliVP - BioDec
It's the Type Theory Baby!
A gentle introduction to type theory (well, not so gentle ...): my position is that one of the most important feature of a language, in order to help programmers to write correct code, is the type system.
The talk aims at supporting that position and makes a brief excursus on the history of types.
Slides
About Michele
Michele has been a computer network and computer system security consultant for companies and research institution since 1996. Server shepherd and dungeon master, he is also author of papers on bio-informatics and chaos theory. GitHub:
finelli
Twitter:
@gaunilone