Travelled to:1 × Canada
1 × USA
Collaborated with:A.Ahmed S.Miller V.St-Amour R.K.Dybvig Youyou Cong Nick Rioux S.Chang Michael Ballantyne Milo Turner
Talks about:type (4) not (2) noninterfer (1) construct (1) translat (1) calculus (1) program (1) preserv (1) possibl (1) convers (1)
Person: William J. Bowman
DBLP: Bowman:William_J=
Contributed to:
2015
20152018
20182020Wrote 5 papers:
- ICFP-2015-BowmanA #for free
- Noninterference for free (WJB, AA), pp. 101–113.
- PLDI-2015-BowmanMSD #metaprogramming
- Profile-guided meta-programming (WJB, SM, VSA, RKD), pp. 403–412.
- PLDI-2018-BowmanA #calculus
- Typed closure conversion for the calculus of constructions (WJB, AA), pp. 797–811.
- POPL-2018-BowmanCRA #continuation
- Type-preserving CPS translation of Σ and Π types is not not possible (WJB, YC, NR, AA), p. 33.
- POPL-2020-ChangBTB #dependent type #metaprogramming #type system
- Dependent type systems as macros (SC, MB, MT, WJB), p. 29.