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].
Post a comment:
Write your comment using Markdown.
Use
$⋯$
for inline and $$⋯$$
for display LaTeX formulas,
and <pre>⋯</pre>
for display code. Your E-mail address is only used to compute
your Gravatar and is not stored anywhere.
Comments are moderated through pull requests.
Comments
Nice! A few comments/questions: