Nicholas Wohlfeil

Publication Activity (10 Years)

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

Top Topics

Programming Environment

Asynchronous Communication

Three Dimensional

Top Venues

Publications

Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin
Synchronous Programming with Refinement Types. CoRR (2024)