BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Designing a type system: an introduction - Isaac Dixon\, Homerton 
 College
DTSTART:20201014T183000Z
DTEND:20201014T190000Z
UID:TALK152815@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:Almost every programming language has a type system of some de
 scription. From the flexible typing of scripting languages like PHP or the
  mathematically-grounded type systems found in many functional languages s
 uch as Haskell\, types are an integral part of high-level programming.\n\n
 My talk will give a brief survey of some of the key aspects of type system
  design and type theory that you should consider when creating and using p
 rogramming languages. I will cover different high-level type system classi
 fications before progressing to some more technical concepts. I will discu
 ss polymorphism\, algebraic data types and dependent types\, with examples
  in various languages from C to Idris.\n\nUnderstanding your programming l
 anguage's type system and using it to its full potential will let you writ
 e more effective and reliable software.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR