BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Exploring the Static Semantics of the Standard ML Core Language - 
 Ibtehaj Nadeem\, Churchill College
DTSTART:20150114T194000Z
DTEND:20150114T203000Z
UID:TALK56564@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:A rigorous language definition is often a necessary requiremen
 t for a language to be accepted by the community it was designed for. Whet
 her you are an implementer\, programmer\, teacher or researcher\, knowing 
 the formal definition of a language can have a profound impact on how you 
 use it. But what exactly does such a formal specification look like? This 
 talk aims to explore the static semantics of the Standard ML core language
  as a case study of successful language design. We present an overview of 
 the structure of the official Definition of Standard ML and focus on two p
 articular issues addressed in it: polymorphism and user-defined types. Fin
 ally\, we make the case that\, although necessary\, a formal specification
  alone is seldom sufficient to achieve acceptance by the community.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR