| Noninterference for Free WJ Bowman, A Ahmed Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 73 | 2015 |
| Fully abstract compilation via universal embedding MS New, WJ Bowman, A Ahmed Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 69 | 2016 |
| Dagger traced symmetric monoidal categories and reversible programming WJ Bowman, RP James, A Sabry Proceedings of the 3rd Workshop on Reversible Computation, 2011 | 33 | 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 | 21 | 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 | 9 | 2019 |
| Typed closure conversion for the calculus of constructions WJ Bowman, A Ahmed Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 9 | 2018 |
| Profile-Guided Meta-Programming WJ Bowman, S Miller, V St-Amour, RK Dybvig Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 9 | 2015 |
| Growing a Proof Assistant WJ Bowman Workshop on Higher-Order Programming with Effects, 2016 | 6 | 2016 |
| Compiling with Dependent Types WJ Bowman Northeastern University, 2019 | 5 | 2019 |
| Is sized typing for Coq practical? J Chan, Y Li, WJ Bowman Journal of Functional Programming 33, e1, 2023 | 2* | 2023 |
| ANF preserves dependent types up to extensional equality P Koronkevich, R Rakow, A Ahmed, WJ Bowman Journal of Functional Programming 32, e12, 2022 | 1 | 2022 |
| 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 |
| One Weird Trick to Untie Landin’s Knot P KORONKEVICH, WJ BOWMAN Workshop on Higher-order Programming with Effects (HOPE), 2023 | | 2023 |
| Indexed Types for a Statically Safe WebAssembly AT GELLER, JP FRANK, WJ BOWMAN | | 2023 |
| Macro-embedding Compiler Intermediate Languages in Racket WJ Bowman Scheme Workshop, 2022 | | 2022 |
| Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers WJ Bowman, R Garcia Springer Nature, 2020 | | 2020 |
| 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 |
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
