According to our database1, Pablo Barenbaum authored at least 13 papers between 2009 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
Discret. Math. Theor. Comput. Sci., 2013
Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009