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 |
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 | 18 | 2013 |
Proof-directed debugging and repair LA Dennis, R Monroy, P Nogueira Seventh Symposium on Trends in Functional Programming 2006, 131-140, 2006 | 18 | 2006 |
No solvable lambda-value term left behind Á García-Pérez, P Nogueira Logical Methods in Computer Science 12, 2016 | 14 | 2016 |
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 |
More than parsing A Herranz, P Nogueira Spanish V Conference on Programming and Languages (PROLE 2005), 193-202, 2005 | 10 | 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 | 8 | 2019 |
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 | 8 | 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 | 7 | 2005 |
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 |
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 |
Selected papers from Mathematics of Program Construction 2012. J Gibbons, P Nogueira Sci. Comput. Program. 85, 101, 2014 | | 2014 |