Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Less is more: multiparty session types revisited
Scalas, Alceste, Yoshida, Nobuko
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
Quantitative program reasoning with graded modal types
Orchard, Dominic, Liepelt, Vilem-Benjamin, Eades III, Harley
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
Catala: a programming language for the law
Merigoux, Denis, Chataing, Nicolas, Protzenko, Jonathan
Published in Proceedings of ACM on programming languages (01.08.2021)
Published in Proceedings of ACM on programming languages (01.08.2021)
Get full text
Journal Article
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Cai, Zhuo, Farokhnia, Soroush, Goharshady, Amir Kafshdar, Hitarth, S.
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Xu, Zhenyang, Tian, Yongqiang, Zhang, Mengxiao, Zhao, Gaosen, Jiang, Yu, Sun, Chengnian
Published in Proceedings of ACM on programming languages (06.04.2023)
Published in Proceedings of ACM on programming languages (06.04.2023)
Get full text
Journal Article
Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
Popescu, Lucian, Lopes, Nuno P.
Published in Proceedings of ACM on programming languages (10.06.2025)
Published in Proceedings of ACM on programming languages (10.06.2025)
Get full text
Journal Article
The taming of the rew: a type theory with computational assumptions
Cockx, Jesper, Tabareau, Nicolas, Winterhalter, Théo
Published in Proceedings of ACM on programming languages (01.01.2021)
Published in Proceedings of ACM on programming languages (01.01.2021)
Get full text
Journal Article
Later credits: resourceful reasoning for the later modality
Spies, Simon, Gäher, Lennard, Tassarotti, Joseph, Jung, Ralf, Krebbers, Robbert, Birkedal, Lars, Dreyer, Derek
Published in Proceedings of ACM on programming languages (29.08.2022)
Published in Proceedings of ACM on programming languages (29.08.2022)
Get full text
Journal Article
Daedalus: Safer Document Parsing
Diatchki, Iavor S., Dodds, Mike, Goldstein, Harrison, Harris, Bill, Holland, David A., Razet, Benoit, Schlesinger, Cole, Winwood, Simon
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Abstracting definitional interpreters (functional pearl)
Darais, David, Labich, Nicholas, Nguyen, Phúc C., Van Horn, David
Published in Proceedings of ACM on programming languages (01.09.2017)
Published in Proceedings of ACM on programming languages (01.09.2017)
Get full text
Journal Article
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
Krishna, Shankaranarayanan, Lal, Aniket, Pavlogiannis, Andreas, Tuppe, Omkar
Published in Proceedings of ACM on programming languages (02.01.2024)
Published in Proceedings of ACM on programming languages (02.01.2024)
Get full text
Journal Article
Automatic migration from synchronous to asynchronous JavaScript APIs
Gokhale, Satyajit, Turcotte, Alexi, Tip, Frank
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
A relational logic for higher-order programs
Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Strub, Pierre-Yves
Published in Proceedings of ACM on programming languages (01.09.2017)
Published in Proceedings of ACM on programming languages (01.09.2017)
Get full text
Journal Article
Compiled, Extensible, Multi-language DSLs (Functional Pearl)
Ballantyne, Michael, Gamburg, Mitch, Hemann, Jason
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
Formal Specification and Testing for Reinforcement Learning
Varshosaz, Mahsa, Ghaffari, Mohsen, Johnsen, Einar Broch, Wąsowski, Andrzej
Published in Proceedings of ACM on programming languages (30.08.2023)
Published in Proceedings of ACM on programming languages (30.08.2023)
Get full text
Journal Article
Programming with a read-eval-synth loop
Peleg, Hila, Gabay, Roi, Itzhaky, Shachar, Yahav, Eran
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article