BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A rational reconstruction of homogeneous meta-programming - Martin
  Berger\, University of Sussex
DTSTART:20160506T130000Z
DTEND:20160506T140000Z
UID:TALK65443@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:Homogeneous generative meta-programming (HGMP) enables the gen
 eration of program fragments at compile-time or run-time. We present the f
 irst foundational calculus which can model powerful HGMP languages such as
  Template Haskell. The calculus is designed such that we can gradually enh
 ance it with the features needed to model many of the advanced features of
  real languages. As a demonstration of the flexibility of our approach\, w
 e also provide a simple type system for the calculus. We discuss the diffi
 culties we encountered with formalising HGMP using Nominal Isabelle.
LOCATION:FW26
END:VEVENT
END:VCALENDAR