Thursday, July 13, 2017

POPL submission, pulling together these blog posts on semantics!

›
Last week I submitted a paper to POPL 2018 about the new kind of denotational semantics that I've been writing about in this blog, which...
Wednesday, June 07, 2017

Revisiting "well-typed programs cannot go wrong"

›
Robin Milner proved that well-typed programs cannot go wrong in his 1978 paper A Theory of Type Polymorphism in Programming   (Milner 1978) ...
1 comment:
Friday, March 24, 2017

Consolidation of the Denotational Semantics and an Application to Compiler Correctness

›
This is a two part post. The second part depends on the first. Part 1. Consolidation of the Denotational Semantics As a matter of expe...
Friday, March 10, 2017

The Take 3 Semantics, Revisited

›
In my post about intersection types as denotations , I conjectured that the simple "take 3" denotational semantics is equivalent...
Wednesday, March 08, 2017

Sound wrt. Contextual Equivalence

›
The ICFP paper submission deadline kept me busy for much of February, but now I'm back to thinking about the simple denotational semant...
Sunday, February 05, 2017

On the Meaning of Casts and Blame for Gradual Typing

›
Gradually typed languages enable programmers to choose which parts of their programs are statically typed and which parts are dynamically t...
1 comment:
Monday, January 30, 2017

Completeness of Intersection Types wrt. an Applied CBV Lambda Calculus

›
I'm still quite excited about the simple denotational semantics and looking forward to applying it to the semantics of gradually typed...