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 Fri Apr 18 08:40:33 2025 CEST.