José Luiz Vargas de Mendonça
- Synchronous Programming with Refinement Types
2024/06/10 by Jiawei Chen, José Luiz Vargas de Mendonça, Chen, Jiawei +15 · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Interconnection Networks and Systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)