Follow
Pablo Nogueira
Pablo Nogueira
UDIT University of Design, Innovation and Technology
Verified email at upm.es - Homepage
Title
Cited by
Cited by
Year
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
192008
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
182013
Proof-directed debugging and repair
LA Dennis, R Monroy, P Nogueira
Seventh Symposium on Trends in Functional Programming 2006, 131-140, 2006
182006
No solvable lambda-value term left behind
Á García-Pérez, P Nogueira
Logical Methods in Computer Science 12, 2016
132016
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
132014
More than parsing
A Herranz, P Nogueira
Spanish V Conference on Programming and Languages (PROLE 2005), 193-202, 2005
102005
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
82019
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
72014
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
72013
What can be learned from failed proofs of non-theorems?
LA Dennis, P Nogueira
72005
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
62011
When is an abstract data type a functor
P Nogueira
Trends in Functional Programming 7, 217-231, 2007
42007
Context-parametric polykinded types
P Nogueira
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 45-54, 2006
42006
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
22022
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
J Gibbons, P Nogueira
Springer, 2012
22012
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
12014
A syntactic and functional correspondence between full-reducing normalisers and full-reducing abstract machines
A Garcfa-Perez, P Nogueira
Science of Computer Programming, 2013
12013
The beta cube
A Garcıa, P Nogueira, EJG Arias
Proceedings of the First International Workshop on Strategies in Rewriting …, 2010
12010
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
The system can't perform the operation now. Try again later.
Articles 1–20