BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Executable Relational Specifications of Polymorphic Type Systems u
 sing Prolog - Ki Yung Ahn\, Portland State University
DTSTART:20150907T090000Z
DTEND:20150907T100000Z
UID:TALK60589@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:A declarative and machine executable specification of the Hind
 ley–Milner type system (HM) can be formulated using a logic programming 
 language. Modern functional language implementations such as the GHC suppo
 rts more advanced polymorphism beyond HM. We progressively extended the HM
  specification to include more features. We will contemplate on the lesson
 s from this case study and discuss plans on the TIPER project.
LOCATION:Small lecture room\, Microsoft Research Ltd\, 21 Station Road\, C
 ambridge\, CB1 2FB
END:VEVENT
END:VCALENDAR