Posts tagged Author: William J. Bowman

Untyped Programs Don’t Exist (cross-post)

2018-01-19 ::

By: William J. Bowman

Why am I going to ICFP 2017? (cross-post)

2017-08-29 ::

By: William J. Bowman

Type-Directed Compilation, Parts I and II

2017-04-17 :: HOPL

By: Leif Andersen, William J. Bowman

What even is compiler correctness? (cross-post)

2017-03-24 ::

By: William J. Bowman

Toward Type-Preserving Compilation of Coq, at POPL17 SRC (cross-post)

2017-01-03 ::

By: William J. Bowman