Volgen
Pablo Barenbaum
Pablo Barenbaum
Geverifieerd e-mailadres voor dc.uba.ar
Titel
Geciteerd door
Geciteerd door
Jaar
Distilling abstract machines
B Accattoli, P Barenbaum, D Mazza
ACM SIGPLAN Notices 49 (9), 363-376, 2014
972014
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
332017
A strong distillery
B Accattoli, P Barenbaum, D Mazza
Asian Symposium on Programming Languages and Systems, 231-250, 2015
252015
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
122018
Efficient repeat finding in sets of strings via suffix arrays
P Barenbaum, V Becher, A Deymonnaz, M Halsband, PA Heiber
Discrete Mathematics & Theoretical Computer Science 15 (Discrete Algorithms), 2013
102013
Optimality and the linear substitution calculus
P Barenbaum, E Bonelli
2nd International Conference on Formal Structures for Computation and …, 2017
72017
Two Decreasing Measures for Simply Typed λ-Terms
P Barenbaum, C Sottile
8th International Conference on Formal Structures for Computation and …, 2023
32023
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
32021
Distilling Abstract Machines (Long Version)
B Accattoli, P Barenbaum, D Mazza
arXiv preprint arXiv:1406.2370, 2014
32014
Semantics of a Relational -Calculus
P Barenbaum, F Lochbaum, M Milicich
International Colloquium on Theoretical Aspects of Computing, 242-261, 2020
22020
Hybrid Intersection Types for PCF (Extended Version)
P Barenbaum, D Kesner, M Milicich
arXiv preprint arXiv:2404.14340, 2024
12024
A Diamond Machine for Strong Evaluation
B Accattoli, P Barenbaum
Asian Symposium on Programming Languages and Systems, 69-90, 2023
12023
Reductions in higher-order rewriting and their equivalence
P Barenbaum, E Bonelli
arXiv preprint arXiv:2210.15654, 2022
12022
Rewrites as terms through justification logic
P Barenbaum, E Bonelli
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
12020
Superdevelopments for weak reduction
E Bonelli, P Barenbaum
arXiv preprint arXiv:1001.4429, 2010
12010
Useful Evaluation, Quantitatively
P Barenbaum, D Kesner, M Milicich
30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024
2024
The Essense of Useful Evaluation Through Quantitative Types (Extended Version)
P Barenbaum, D Kesner, M Milicich
arXiv preprint arXiv:2404.18874, 2024
2024
Intersection Types as Evaluation Types
P Barenbaum, E Bonelli, M Milicich
Workshop on Intersection Types and Related Systems 9, 07, 2024
2024
Hybrid Intersection Types for PCF
P Barenbaum, D Kesner, M Milicich
Proceedings of 25th Conference on Logic for Pro 100, 181-197, 2024
2024
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version)
P Barenbaum, C Sottile
arXiv preprint arXiv:2304.12440, 2023
2023
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20