William J. Bowman

William J. Bowman

University of British Columbia - Vancouver / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 6054885
person_outline William J. Bowman's MOST POPULAR ARTICLES
1-) Noninterference for FreeWJ Bowman, A AhmedProceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015772015
2-) Fully abstract compilation via universal embeddingMS New, WJ Bowman, A AhmedProceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016762016
3-) Dagger traced symmetric monoidal categories and reversible programmingWJ Bowman, RP James, A SabryProceedings of the 3rd Workshop on Reversible Computation, 2011342011
4-) Type-Preserving CPS Translation of Σ and Π Types is Not Not PossibleWJ Bowman, Y Cong, N Rioux, A AhmedProceedings of the ACM on Programming Languages, 2018302018
5-) Typed closure conversion for the calculus of constructionsWJ Bowman, A AhmedProceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018142018