Thursday, July 8, 2021

Postdoctoral opening in the TypeFoundry project

›
I have an opening for a postdoctoral position in Cambridge with the European ERC Consolidator Grant project TypeFoundry. This is a 2-year ...
Monday, February 15, 2021

Five (and a Half) Derivatives in Language Theory

›
Thanks to the influence of machine learning, differentiating programs has become a big business. However, there are a lot of other things i...
1 comment:
Monday, December 14, 2020

TypeFoundry: new ERC Consolidator Grant

›
I am very pleased to have received an ERC Consolidator Grant for my TypeFoundry proposal. This will be a five year project to develop the ...
4 comments:
Wednesday, December 2, 2020

Church Encodings, Inductive Types, and Relational Parametricity

›
My blogging has been limited this past year due to RSI, but I do not want to leave things entirely fallow, and last year I wrote an email wh...
1 comment:
Friday, June 19, 2020

PLDI 2020 Conference Report

›
I just finished "attending" PLDI 2020 , a programming languages conference. Like many conferences in computer science, due to COVI...
3 comments:
Thursday, February 13, 2020

Thought Experiment: An Introductory Compilers Class

›
Recently, I read a blog post in which Ben Karel summarized the reaction to a request John Regehr made about how to teach compilers , and as ...
5 comments:
Wednesday, October 30, 2019

Every Finite Automaton has a Corresponding Regular Expression

›
Today I'd like to blog about the nicest proof of Kleene's theorem that regular expressions and finite automata are equival...
4 comments: