[TYPES] When types appeared in programming languages

Simone Martini simone.martini at unibo.it
Wed Oct 14 05:26:31 EDT 2015

Last year, there has been a thread on this mailing list on the role (and concept) of types in programming languages, started by this msg of Vladimir Voevodsky:

Stimulated from that thread (which showed that there was little consensus on when types appeared, and with which meaning), I wrote a little essay, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.

I presented the paper last week at History and Philosophy of Computing 2015, in Pisa. 


Comments, remarks, and especially critiques would be much welcomed from the members of this list.

Simone Martini                          
Universita' di Bologna                 
Dip. di Informatica - Scienza e Ingegneria


More information about the Types-list mailing list