Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
William J. Bowman

Registered user since Tue 17 Feb 2015

Name: William J. Bowman

Bio: I am a sixth year Ph.D. student at Northeastern University where I study Computer Science (specifically, programming languages).

I want to make programs easier to design, write, and understand. To that end, I work on verifying compilers. I am particularly interested in equivalence preserving (fully-abstract) compilers and type preserving compilation. I also dabble in dependent types and language design and implementation.

Country: United States

Affiliation: Northeastern University

Personal website:

Research interests: Meta-programming, compilers, compiler correctness, dependent types


HOPE 2017Author of Only Control Effects and Dependent Types within the HOPE 2017-track
Show activities from other conferences

Blog Posts

ICFP 2017-profile
View general profile