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
612016
Noninterference for Free
WJ Bowman, A Ahmed
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
612015
Dagger traced symmetric monoidal categories and reversible programming
WJ Bowman, RP James, A Sabry
Proceedings of the 3rd Workshop on Reversible Computation, 2011
292011
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
152018
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
72019
Profile-Guided Meta-Programming
WJ Bowman, S Miller, V St-Amour, RK Dybvig
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
72015
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
42018
Compiling with Dependent Types
WJ Bowman
Northeastern University, 2019
22019
Practical Sized Typing for Coq
J Chan, WJ Bowman
arXiv preprint arXiv:1912.05601, 2019
12019
Only Control Effects and Dependent Types
Y Cong, WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
12016
Compilation as Multi-Language Semantics
WJ Bowman
Workshop on Principles of Secure Compilation, 2021
2021
Parametric Closure Conversion for CIC
WJ Bowman, A Ahmed
2018
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
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–16