Friday, March 13, 2015

Abstract Binding Trees

›
On reddit, Paul Chiusano asked me: I have a somewhat related question - do you know if it is possible / easy to implement one or both typech...
10 comments:
Monday, March 2, 2015

New Draft: Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism and Indexed Types

›
Together with Joshua Dunfield , I have a new draft on bidirectional type inference to announce: Sound and Complete Bidirectional Typecheck...
Thursday, February 26, 2015

Midlands Graduate School 2015

›
Registration for the Midlands Graduate School is open! I'll be lecturing again this year on functional reactive programming, and am ver...
Friday, December 12, 2014

Garbage collection and purity

›
One of my favorite things in language design is when a high-level language feature lets you change your low-level runtime system in interest...
7 comments:
Tuesday, December 9, 2014

Quote of the Day

›
From the introduction to Jean-Louis Krivine's paper, Realizability Algebras: A Program to Well-Order $\mathbb{R}$ : Indeed, when we re...
Thursday, November 13, 2014

Curry-Howard for GUIs: Or, User Interfaces via Linear Temporal, Classical Linear Logic

›
Together with Jennifer Paykin and Steve Zdancewic , we have written a short note about the next phase of the long project to make GUI progr...
3 comments:
Tuesday, November 4, 2014

Integrating Linear and Dependent Types at POPL 2015

›
I'm very happy to announce that Integrating Linear and Dependent Types will appear at POPL 2015 ! The link above goes to the final vers...
1 comment: