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
772016
Noninterference for Free
WJ Bowman, A Ahmed
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
772015
Dagger traced symmetric monoidal categories and reversible programming
WJ Bowman, RP James, A Sabry
Proceedings of the 3rd Workshop on Reversible Computation, 2011
342011
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
292018
Typed closure conversion for the calculus of constructions
WJ Bowman, A Ahmed
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
142018
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
132019
Profile-Guided Meta-Programming
WJ Bowman, S Miller, V St-Amour, RK Dybvig
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
112015
Is sized typing for Coq practical?
J Chan, Y Li, WJ Bowman
Journal of Functional Programming 33, e1, 2023
7*2023
Growing a Proof Assistant
WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
72016
ANF preserves dependent types up to extensional equality
P Koronkevich, R Rakow, A Ahmed, WJ Bowman
Journal of Functional Programming 32, e12, 2022
62022
Compiling with dependent types
WJ Bowman
Northeastern University, 2019
62019
ACM profits considered harmful
WJ Bowman
Communications of the ACM 67 (9), 40-42, 2024
12024
Indexed Types for a Statically Safe WebAssembly
AT Geller, J Frank, WJ Bowman
Proceedings of the ACM on Programming Languages 8 (POPL), 2395-2424, 2024
12024
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
A Low-Level Look at A-Normal Form
WJ Bowman
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 165-191, 2024
2024
Type Universes as Allocation Effects
P Koronkevich, WJ Bowman
arXiv preprint arXiv:2407.06473, 2024
2024
One Weird Trick to Untie Landin’s Knot
P KORONKEVICH, WJ BOWMAN
Workshop on Higher-order Programming with Effects (HOPE), 2023
2023
Macro-embedding Compiler Intermediate Languages in Racket
WJ Bowman
Scheme Workshop, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20