Ethan Bove

Publication Activity (10 Years)

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

Top Topics

Foreign Language Learning

Top Venues

Proc. ACM Program. Lang.

Publications

Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney Levine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, Shriram Krishnamurthi
Forge: A Tool and Language for Teaching Formal Methods. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)