University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars > What We Talk About When We Talk About Types

What We Talk About When We Talk About Types

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact David Greaves.

Types are a central topic in programming language research, as well as being one of the main triggers for heated and unproductive language advocacy arguments on the internet. Yet, even amongst expert types researchers, there is a surprising diversity of opinion about just what types are: what they mean, what they’re for, and what properties a type system should have. This talk will explore the various positions, including, of course, presenting the correct answers to these questions.

This talk is part of the Computer Laboratory Wednesday Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity