It's the Type Theory Baby!

Michele Finelli
VP - BioDec

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.

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

Back to conference page