type systems, and static analysis — directly to real systems — all that nitty gritty code that makes these beautiful, horrible machines do their thing. I’m working on a few projects that variously emphasize theoretical or practical aspects. My main goal these days is to provide better...
last time we sailed down here, we skipped this part altogether by diverting to Isla Guadeloupe in search of more elephant seals. Alas. The real answer is much more mundane than that. It began with what can only be termed complacency. ...
type systems, and static analysis — directly to real systems — all that nitty gritty code that makes these beautiful, horrible machines do their thing. I’m working on a few projects that variously emphasize theoretical or practical aspects. My main goal these days is to provide better...