skip to main content
Refinado por: Nome da Publicação: Arxiv remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tracing monadic computations and representing effects
Material Type:
Artigo
Adicionar ao Meu Espaço

Tracing monadic computations and representing effects

Piróg, Maciej ; Gibbons, Jeremy

Electronic proceedings in theoretical computer science, 2012-02, Vol.76 (Proc. MSFP 2012), p.90-111

Open Publishing Association

Texto completo disponível

2
Profunctor Optics, a Categorical Update
Material Type:
Artigo
Adicionar ao Meu Espaço

Profunctor Optics, a Categorical Update

Clarke, Bryce ; Elkins, Derek ; Gibbons, Jeremy ; Loregian, Fosco ; Milewski, Bartosz ; Pillmore, Emily ; Román, Mario

arXiv.org, 2022-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

3
Implicit Decomposition for Write-Efficient Connectivity Algorithms
Material Type:
Artigo
Adicionar ao Meu Espaço

Implicit Decomposition for Write-Efficient Connectivity Algorithms

Ben-David, Naama ; Blelloch, Guy E ; Fineman, Jeremy T ; Gibbons, Phillip B ; Gu, Yan ; McGuffey, Charles ; Shun, Julian

arXiv.org, 2017-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

4
Efficient Algorithms with Asymmetric Read and Write Costs
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient Algorithms with Asymmetric Read and Write Costs

Blelloch, Guy E ; Fineman, Jeremy T ; Gibbons, Phillip B ; Gu, Yan ; Shun, Julian

arXiv.org, 2016-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.