University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > A rational reconstruction of homogeneous meta-programming

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

A rational reconstruction of homogeneous meta-programming

Download to your calendar using vCal

If you have a question about this talk, please contact Dominic Mulligan .

Homogeneous generative meta-programming (HGMP) enables the generation of program fragments at compile-time or run-time. We present the first foundational calculus which can model powerful HGMP languages such as Template Haskell. The calculus is designed such that we can gradually enhance it with the features needed to model many of the advanced features of real languages. As a demonstration of the flexibility of our approach, we also provide a simple type system for the calculus. We discuss the difficulties we encountered with formalising HGMP using Nominal Isabelle.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

*LECTURE THEATRE 1* Average on weekdays: 9036.17215569 kWh Max Perutz Lecture Theatre, LMB

Other talks

Title to be confirmed Title to be confirmed The Neurophenomenology of Surrender: Agency, Renewal, and Social Engagement in Speaking in Tongues Title to be confirmed Talk title TBC Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity