Number of items: 2.
Garg, Deepak and Çiçek, Ezgi and Acar, Umut A.
(2015)
Refinement Types for Incremental Computational Complexity.
Bhatotia, Pramod and Fonseca, Pedro and Acar, Umut A. and Brandenburg, Björn B. and Rodrigues, Rodrigo
(2015)
iThreads: A Threading Library for Parallel Incremental Computation.
This list was generated on Tue Jul 15 10:58:44 2025 CEST.