Selected talks
Synthetic talk on the Calculus of Inductive Constructions (
ps
) [September 2009]
Introductive talk on call-by-name delimited continuations (
pdf
,
advi
) [July 2007]
Talk on the duality of computation (
pdf
,
advi
) [HOR '06]