Login / Signup
Synchronous Programming with Refinement Types.
Jiawei Chen
José Luiz Vargas de Mendonça
Bereket Ayele
Bereket Ngussie Bekele
Shayan Jalili
Pranjal Sharma
Nicholas Wohlfeil
Yicheng Zhang
Jean-Baptiste Jeannin
Published in:
CoRR (2024)
Keyphrases
</>
asynchronous communication
programming language
learning algorithm
three dimensional
computer programming
programming environment
database
neural network
information retrieval
database systems
multi agent systems