Thursday, March 17, 2022

Fold Considered Annoying

›
I recently read Shriram Krishamurthi and Kathi Fisler's ICER 2021 paper, Developing Behavioral Concepts of Higher-Order Functions . In t...
7 comments:
Thursday, March 3, 2022

Simple Type Inference for System F

›
Henry Mercer, Cameron Ramsay, and I have a new draft paper on type inference out! Check out Implicit Polarized F: Local Type Inference for I...
Monday, January 17, 2022

Static typing vs. Dynamic Typing vs. Dana Scott

›
If you read about programming languages on the Internet, you'll inevitably run into (or even participate in) long arguments about whethe...
2 comments:
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...