PRL Seminar for Friday December 2

Finally tagless, partially evaluated:

Tagless staged interpreters for simpler typed languages

Chung-chieh Shan (joint work with Jacques Carette and Oleg Kiselyov)

...

Our main idea is to encode abstract syntax using cogen functions rather than data constructors.  In other words, we represent object terms not in an initial algebra but in an arbitrary algebra.  Our representation also simulates inductive maps from types to types, which are required for typed partial evaluation and CPS transformation.  Our encoding of an object term abstracts over the various ways to interpret it, yet statically assures that the interpreters never get stuck.

This Friday's Friday’s seminar will take place in Upson 5126 from 12:05-1:00PM.