Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Tracing monadic computations and representing effectsPiróg, Maciej ; Gibbons, JeremyElectronic proceedings in theoretical computer science, 2012-02, Vol.76 (Proc. MSFP 2012), p.90-111Open Publishing AssociationTexto completo disponível |
|
2 |
Material Type: Artigo
|
Profunctor Optics, a Categorical UpdateClarke, Bryce ; Elkins, Derek ; Gibbons, Jeremy ; Loregian, Fosco ; Milewski, Bartosz ; Pillmore, Emily ; Román, MarioarXiv.org, 2022-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
Implicit Decomposition for Write-Efficient Connectivity AlgorithmsBen-David, Naama ; Blelloch, Guy E ; Fineman, Jeremy T ; Gibbons, Phillip B ; Gu, Yan ; McGuffey, Charles ; Shun, JulianarXiv.org, 2017-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
Efficient Algorithms with Asymmetric Read and Write CostsBlelloch, Guy E ; Fineman, Jeremy T ; Gibbons, Phillip B ; Gu, Yan ; Shun, JulianarXiv.org, 2016-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |