Andrew Wagner
PhD Student
Biography
Bio coming soon!
Recent publications
-
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