| Bialgebra views: A way for polytypic programming to cohabit with data abstraction P Nogueira, JJ Moreno-Navarro Proceedings of the ACM SIGPLAN workshop on Generic programming, 61-73, 2008 | 19 | 2008 |
| Proof-directed debugging and repair LA Dennis, R Monroy, P Nogueira Seventh Symposium on Trends in Functional Programming 2006, 131-140, 2006 | 18 | 2006 |
| Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order Á García-Pérez, P Nogueira, JJ Moreno-Navarro Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 17 | 2013 |
| On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines A García-Pérez, P Nogueira Science of Computer Programming 95, 176-199, 2014 | 13 | 2014 |
| No solvable lambda-value term left behind Á García-Pérez, P Nogueira Logical Methods in Computer Science 12, 2016 | 11 | 2016 |
| More than parsing A Herranz, P Nogueira Spanish V Conference on Programming and Languages (PROLE 2005), 193-202, 2005 | 10 | 2005 |
| Deriving interpretations of the gradually-typed lambda calculus Á García-Pérez, P Nogueira, I Sergey Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014 | 7 | 2014 |
| A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers Á García-Pérez, P Nogueira Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 7 | 2013 |
| What can be learned from failed proofs of non-theorems? LA Dennis, P Nogueira TPHOLs, 45-58, 2005 | 7 | 2005 |
| The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus A Garcia-Perez, P Nogueira Journal of Functional Programming 29, e7, 2019 | 6 | 2019 |
| First-order unification using variable-free relational algebra EJG Arias, J Lipton, J Mariño, P Nogueira Logic Journal of the IGPL 19 (6), 790-820, 2011 | 6 | 2011 |
| When is an abstract data type a functor P Nogueira Trends in Functional Programming 7, 217-231, 2007 | 4 | 2007 |
| Context-parametric polykinded types P Nogueira Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 45-54, 2006 | 4 | 2006 |
| Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings J Gibbons, P Nogueira Springer, 2012 | 2 | 2012 |
| Personal excellence based profiling to identify and apply tools and trainings for a better and sustainable work-life-flow JP Czakert, L Pais, N Rebelo, P Nogueira, F Scheibein, J Wells, R Berger EDULEARN22 Proceedings, 2365-2369, 2022 | 1 | 2022 |
| A standard theory for the pure lambdavalue calculus A García-Pérez, P Nogueira Submitted to 11th International Workshop on Domain Theory and Application, 2014 | 1 | 2014 |
| A syntactic and functional correspondence between full-reducing normalisers and full-reducing abstract machines A Garcfa-Perez, P Nogueira Science of Computer Programming, 2013 | 1 | 2013 |
| The beta cube A Garcıa, P Nogueira, EJG Arias Proceedings of the First International Workshop on Strategies in Rewriting …, 2010 | 1 | 2010 |
| Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space P Nogueira, Á García-Pérez arXiv preprint arXiv:2212.02494, 2022 | | 2022 |
| Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space. P Nogueira, Á García-Pérez CoRR, 2022 | | 2022 |
Álvaro García-PérezResearch engineer at CEA Paris-Saclay Nano-INNOVZweryfikowany adres z cea.fr
