Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: magazinearticle
|
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite StrategiesHagedorn, Bastian ; Lenfers, Johannes ; Kœhler, Thomas ; Qin, Xueying ; Gorlatch, Sergei ; Steuwer, MichelCommunications of the ACM, 2023-03, Vol.66 (3), p.89-97New York, NY, USA: ACMTexto completo disponível |
|
2 |
Material Type: magazinearticle
|
Technical Perspective: Reconsidering the Design of User-Schedulable LanguagesRagan-Kelley, JonathanCommunications of the ACM, 2023-03, Vol.66 (3), p.88-88New York, NY, USA: ACMTexto completo disponível |
|
3 |
Material Type: magazinearticle
|
The Silent (R)evolution of SATFichte, Johannes K. ; Berre, Daniel Le ; Hecher, Markus ; Szeider, StefanCommunications of the ACM, 2023-06, Vol.66 (6), p.64-72New York, NY, USA: ACMTexto completo disponível |
|
4 |
Material Type: magazinearticle
|
Predicative programming Part IIHehner, Eric C. R.Communications of the ACM, 1984-02, Vol.27 (2), p.144-151New York, NY, USA: ACMTexto completo disponível |
|
5 |
Material Type: magazinearticle
|
The curse of the excluded middleMeijer, ErikCommunications of the ACM, 2014-06, Vol.57 (6), p.50-55New York, NY: ACMTexto completo disponível |
|
6 |
Material Type: magazinearticle
|
Technical perspective: Node replication divides to conquerHarris, TimCommunications of the ACM, 2018-12, Vol.61 (12), p.96-96New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: magazinearticle
|
Using functions for easier programmingSavage, NeilCommunications of the ACM, 2018-04, Vol.61 (5), p.29-30New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: magazinearticle
|
Low-Code Programming ModelsHirzel, MartinCommunications of the ACM, 2023-10, Vol.66 (10), p.76-85New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: magazinearticle
|
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programsBackus, JohnCommunications of the ACM, 1978-08, Vol.21 (8), p.613-641ACMTexto completo disponível |
|
10 |
Material Type: magazinearticle
|
Research for practice: convergenceKleppmann, Martin ; Alvaro, PeterCommunications of the ACM, 2022-11, Vol.65 (11), p.104-106New York, NY, USA: ACMTexto completo disponível |