Pablo Nogueira

15 papers B 1C 3Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space.
Log. Methods Comput. Sci.
Pablo Nogueira, Álvaro García-Pérez
2022 J jnl
Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space.
CoRR
Pablo Nogueira, Álvaro García-Pérez
2019 J jnl
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus.
J. Funct. Program.
Álvaro García-Pérez, Pablo Nogueira
2016 J jnl
No solvable lambda-value term left behind.
Log. Methods Comput. Sci.
Álvaro García-Pérez, Pablo Nogueira
2014 C conf
Deriving interpretations of the gradually-typed lambda calculus.
PEPM
Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey
2014 J jnl
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines.
Sci. Comput. Program.
Álvaro García-Pérez, Pablo Nogueira
2014 J jnl
Selected papers from Mathematics of Program Construction 2012.
Sci. Comput. Program.
Jeremy Gibbons, Pablo Nogueira
2013 C conf
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers.
PEPM
Álvaro García-Pérez, Pablo Nogueira
2013 C conf
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order.
PPDP
Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro
2012 B ed.
Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
MPC
Jeremy Gibbons, Pablo Nogueira
2011 J jnl
First-order unification using variable-free relational algebra.
Log. J. IGPL
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2008 — conf
Bialgebra views: a way for polytypic programming to cohabit with data abstraction.
ICFP-WGP
Pablo Nogueira, Juan José Moreno-Navarro
2008 — conf
First-order unification using variable-free relational algebra.
UNIF
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2006 — conf
Context-parametric polykinded types.
ICFP-WGP
Pablo Nogueira
2006 — conf
When is an abstract data type a functor?
Trends in Functional Programming
Pablo Nogueira