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 Nov 22 11:02:54 2024 CET.