Context-parametric polykinded types. - Pablo Nogueira (ICFP-WGP, 2006)

When is an abstract data type a functor? - Pablo Nogueira (Trends in Functional Programming, 2006)

Bialgebra views: a way for polytypic programming to cohabit with data abstraction. - Pablo Nogueira; Juan José Moreno-Navarro (ICFP-WGP, 2008)

First-order unification using variable-free relational algebra. - Emilio Jesús Gallego Arias; James Lipton; Julio Mariño; Pablo Nogueira (Log. J. IGPL, 2011)

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. - Álvaro García-Pérez; Pablo Nogueira (PEPM, 2013)

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. - Álvaro García-Pérez; Pablo Nogueira; Juan José Moreno-Navarro (PPDP, 2013)

Deriving interpretations of the gradually-typed lambda calculus. - Álvaro García-Pérez; Pablo Nogueira; Ilya Sergey (PEPM, 2014)

On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. - Álvaro García-Pérez; Pablo Nogueira (Sci. Comput. Program., 2014)

Selected papers from Mathematics of Program Construction 2012. - Jeremy Gibbons; Pablo Nogueira (Sci. Comput. Program., 2014)

No solvable lambda-value term left behind. - Álvaro García-Pérez; Pablo Nogueira (Log. Methods Comput. Sci., 2016)

The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus. - Álvaro García-Pérez; Pablo Nogueira (J. Funct. Program., 2019)

Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space. - Pablo Nogueira; Álvaro García-Pérez (CoRR, 2022)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space. - Pablo Nogueira; Álvaro García-Pérez (Log. Methods Comput. Sci., 2024)