Pablo Barenbaum
Pablo Barenbaum
Verified email at dc.uba.ar
Title
Cited by
Cited by
Year
Distilling abstract machines
B Accattoli, P Barenbaum, D Mazza
ACM SIGPLAN Notices 49 (9), 363-376, 2014
672014
Foundations of strong call by need
T Balabonski, P Barenbaum, E Bonelli, D Kesner
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
242017
A strong distillery
B Accattoli, P Barenbaum, D Mazza
Asian Symposium on Programming Languages and Systems, 231-250, 2015
202015
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need
P Barenbaum, E Bonelli, K Mohamed
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
62018
Efficient repeat finding in sets of strings via suffix arrays
P Barenbaum, V Becher, A Deymonnaz, M Halsband, PA Heiber
Discrete Mathematics and Theoretical Computer Science 15 (2), 59--70, 2013
62013
Optimality and the linear substitution calculus
P Barenbaum, E Bonelli
2nd International Conference on Formal Structures for Computation and …, 2017
32017
Distilling Abstract Machines (Long Version)
B Accattoli, P Barenbaum, D Mazza
arXiv preprint arXiv:1406.2370, 2014
32014
Superdevelopments for weak reduction
E Bonelli, P Barenbaum
arXiv preprint arXiv:1001.4429, 2010
12010
A Constructive Logic with Classical Proofs and Refutations
P Barenbaum, T Freund
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
2021
A Constructive Logic with Classical Proofs and Refutations (Extended Version)
P Barenbaum, T Freund
arXiv preprint arXiv:2104.04589, 2021
2021
Semantics of a Relational -Calculus
P Barenbaum, F Lochbaum, M Milicich
International Colloquium on Theoretical Aspects of Computing, 242-261, 2020
2020
Semantics of a Relational {\lambda}-Calculus (Extended Version)
P Barenbaum, F Lochbaum, M Milicich
arXiv preprint arXiv:2009.10929, 2020
2020
Rewrites as Terms through Justification Logic
P Barenbaum, E Bonelli
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
2020
Semántica dinámica de cálculos de sustituciones explıcitas a distancia
P Barenbaum
Universidad de la República, 2020
2020
Factoring Derivation Spaces via Intersection Types
P Barenbaum, G Ciruelos
Asian Symposium on Programming Languages and Systems, 24-44, 2018
2018
Efficient repeat finding in sets of strings via suffix arrays
PA Heiber, M Halsband, A Deymonnaz, V Becher, P Barenbaum
Discrete Mathematics & Theoretical Computer Science 15, 2013
2013
Superdevelopments en el cálculo-λ débil
P Barenbaum
Universidad de Buenos Aires, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–17