Posts tagged by 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, by 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