William J. Bowman
Title
Cited by
Cited by
Year
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
502016
Noninterference for Free
WJ Bowman, A Ahmed
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
482015
Dagger traced symmetric monoidal categories and reversible programming
WJ Bowman, RP James, A Sabry
Proceedings of the 3rd Workshop on Reversible Computation, 2011
262011
Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible
WJ Bowman, Y Cong, N Rioux, A Ahmed
Proceedings of the ACM on Programming Languages, 2018
122018
Profile-Guided Meta-Programming
WJ Bowman, S Miller, V St-Amour, RK Dybvig
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
62015
Growing a Proof Assistant
WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
52016
Typed closure conversion for the calculus of constructions
WJ Bowman, A Ahmed
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
32018
Dependent type systems as macros
S Chang, M Ballantyne, M Turner, WJ Bowman
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
22019
Practical Sized Typing for Coq
J Chan, WJ Bowman
arXiv preprint arXiv:1912.05601, 2019
2019
Compiling with Dependent Types
WJ Bowman
Northeastern University, 2019
2019
Toward Type-Preserving Compilation of Coq
WJ Bowman
Student Research Competition, POPL, 2017
2017
Type-Preserving CPS Translation of Σ and Π-Types is Not Not Possible (Technical Appendix)
WJ Bowman, Y Cong, N Rioux, A Ahmed
2017
Only Control Effects and Dependent Types
Y Cong, WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
2016
A Protocol for Reversible Distributed Computation
G Brown, A Sabry, WJ Bowman
The system can't perform the operation now. Try again later.
Articles 1–14