Thursday, December 30, 2021

What is a programming language?

›
One of the more surprising facts about the discipline of programming language theory is that it is actually possible to define what programm...
6 comments:
Wednesday, December 1, 2021

Obliteratingly Fast Parser Combinators

›
Jeremy Yallop , Ningning Xie , and I have a new draft out about combinator parsing, entitled Fusing Lexing and Parsing . The abstract is sh...
8 comments:
Wednesday, November 17, 2021

POPL till you DROPL

›
My PhD student Faustyna Krawiec, along with me and several other coauthors, has a new paper out, which is due to appear at POPL 2022 : Pro...
Tuesday, September 28, 2021

Design Benchmarks

›
A few weeks ago, Shriram Krishnamurthi asked an interesting question on Twitter : It's common in PL to have benchmarks for performanc...
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: