What We Talk About When We Talk About Types

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

• Dr Nick Benton - Microsoft Research Cambridge
• Wednesday 26 February 2014, 14:00-15:00
• Lecture Theatre 1, Computer Laboratory.

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 Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.