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:
Friday, August 23, 2019

New Draft Paper: Survey on Bidirectional Typechecking

›
Along with J. Dunfield, I have written a new survey paper on bidirectional typechecking . Bidirectional typing combines two modes of typi...
6 comments:
Wednesday, August 21, 2019

On the Relationship Between Static Analysis and Type Theory

›
Some months ago, Ravi Mangal sent me an email with a very interesting question, which I reproduce in part below: The question that has be...
4 comments: