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-) Fully abstract compilation via universal embedding Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
2-) Noninterference for Free Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
3-) Dagger traced symmetric monoidal categories and reversible programming Proceedings of the 3rd Workshop on Reversible Computation, 2011
4-) Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible Proceedings of the ACM on Programming Languages, 2018
5-) Typed closure conversion for the calculus of constructions Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018