The troublesome reflection rule (TYPES 2015 slides)
- 19 May 2015
- Computation, Publications, Talks
Here are the slides of my TYPES 2015 talk “The troublesome reflection rule” with fairly detailed presenter notes. The meeting is taking place in Tallinn, Estonia – a very cool country in many senses (it's not quite spring yet even though we're in the second half of May, and it's the country that gave us Skype).
Download slides: The troublesome reflection rule (TYPES 2015) [PDF].
Posting comments: At present comments are disabled because the relevant script died. You are welcome to contact me directly.
Nice! A few comments/questions: