Justin Frank

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Justin Frank, Benjamin Quiring, Leonidas Lampropoulos
Generating Well-Typed Terms That Are Not "Useless". Proc. ACM Program. Lang. 8 (POPL) (2024)
Adam T. Geller, Justin Frank, William J. Bowman
Indexed Types for a Statically Safe WebAssembly. Proc. ACM Program. Lang. 8 (POPL) (2024)