Andrew Wagner
PhD Student
Biography
Bio coming soon!
Recent publications
-
From Linearity to Borrowing
Citation: Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, Amal Ahmed . (2025). From Linearity to Borrowing Proc. ACM Program. Lang., 9, 3981-4007. https://doi.org/10.1145/3764117 -
Realistic Realizability: Specifying ABIs You Can Count On
Citation: Andrew Wagner, Zachary Eisbach, Amal Ahmed . (2024). Realistic Realizability: Specifying ABIs You Can Count On Proc. ACM Program. Lang., 8, 1249-1278. https://doi.org/10.1145/3689755 -
Semantic Encapsulation using Linking Types
Citation: Daniel Patterson , Andrew Wagner, Amal Ahmed . (2023). Semantic Encapsulation using Linking Types TyDe@ICFP, 14-28. https://doi.org/10.1145/3609027.3609405