| Fully abstract compilation via universal embedding MS New, WJ Bowman, A Ahmed Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 77 | 2016 |
| Noninterference for Free WJ Bowman, A Ahmed Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 77 | 2015 |
| Dagger traced symmetric monoidal categories and reversible programming WJ Bowman, RP James, A Sabry Proceedings of the 3rd Workshop on Reversible Computation, 2011 | 34 | 2011 |
| 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 | 29 | 2018 |
| Typed closure conversion for the calculus of constructions WJ Bowman, A Ahmed Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 13 | 2018 |
| 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 | 12 | 2019 |
| Profile-Guided Meta-Programming WJ Bowman, S Miller, V St-Amour, RK Dybvig Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 11 | 2015 |
| 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 | 7 | 2016 |
| ANF preserves dependent types up to extensional equality P Koronkevich, R Rakow, A Ahmed, WJ Bowman Journal of Functional Programming 32, e12, 2022 | 6 | 2022 |
| Compiling with dependent types WJ Bowman Northeastern University, 2019 | 6 | 2019 |
| ACM profits considered harmful WJ Bowman Communications of the ACM 67 (9), 40-42, 2024 | 1 | 2024 |
| 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 | 1 | 2024 |
| Compilation as Multi-Language Semantics WJ Bowman Workshop on Principles of Secure Compilation, 2021 | 1 | 2021 |
| Parametric Closure Conversion for CIC WJ Bowman, A Ahmed | 1 | 2018 |
| Only Control Effects and Dependent Types Y Cong, WJ Bowman Workshop on Higher-Order Programming with Effects, 2016 | 1 | 2016 |
| 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 |
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
