• Home
  • People
  • Teaching
  • Seminars
  • Software
  • Publications
  • New Members
  • Contact
  • Blog

Inside PRL

Reading between the parentheses

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

… more …

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


"Follow the PRL"

Blog generated by Frog, using Bootstrap.

© Copyright Programming Research Laboratory 2015-2016 | made by Catchexception s.r.o. | source on GitHub