Follow
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
662016
Noninterference for Free
WJ Bowman, A Ahmed
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
662015
Dagger traced symmetric monoidal categories and reversible programming
WJ Bowman, RP James, A Sabry
Proceedings of the 3rd Workshop on Reversible Computation, 2011
332011
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
192018
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
92019
Profile-Guided Meta-Programming
WJ Bowman, S Miller, V St-Amour, RK Dybvig
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
82015
Typed closure conversion for the calculus of constructions
WJ Bowman, A Ahmed
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
72018
Growing a Proof Assistant
WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
62016
Compiling with Dependent Types
WJ Bowman
Northeastern University, 2019
32019
Is Sized Typing for Coq Practical?
J Chan, Y Li, WJ Bowman
arXiv e-prints, arXiv: 1912.05601, 2019
2*2019
Compilation as Multi-Language Semantics
WJ Bowman
Workshop on Principles of Secure Compilation, 2021
12021
Parametric Closure Conversion for CIC
WJ Bowman, A Ahmed
12018
Only Control Effects and Dependent Types
Y Cong, WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
12016
Macro-embedding Compiler Intermediate Languages in Racket
WJ Bowman
Scheme Workshop, 2022
2022
ANF preserves dependent types up to extensional equality
P Koronkevich, R Rakow, A Ahmed, WJ Bowman
Journal of Functional Programming 32, e12, 2022
2022
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–18