Papers

First-order unification using variable-free relational algebra (2008, 2009)
Emilio J. Gallego Arias, James Lipton, Julio Mariño, and Pablo Nogueira.
To appear in the Journal of Algorithms in Cognition, Informatics, and Logic.
An earlier version appeared in Workshop on Unification (UNIF'08) [bib]

Bialgebra views: a way for polytypic programming to cohabit with data abstraction (2008) [pdf] [bib] [remarks.23/09/09]
Pablo Nogueira and Juan José Moreno-Navarro. Workshop on Generic Programming (ICFP-WGP'08).
When is an abstract data type a functor? (2007) [pdf] [bib] (other versions deprecated)
Pablo Nogueira. Trends in Functional Programming, Volume 7, Intellect Books. Best student paper.
Context-parametric polykinded types (2006) [pdf] [bib] [errata]
Pablo Nogueira. Workshop on Generic Programming (ICFP-WGP'06).
Polytypic functional programming and data abstraction (2006)
Pablo Nogueira. PhD Thesis, University of Nottingham, UK.
NB: Not recommended and superseded by the above papers.
Una Introducción a Generic Haskell (17.12.04) (28.11.05) [pdf]
Pablo Nogueira. Talk in Spanish given at FIM-UPM.

Proof-directed debugging and repair (2006) [pdf] [bib]
Louise A. Dennis, Pablo Nogueira, and Raul Monroy. Local proceedings of Trends in Functional Programming (TFP'06).
What can be learned from failed proofs of non-theorems? (2005) [pdf] [bib]
Louise A. Dennis and Pablo Nogueira. Emerging Trends proceedings of Theorem Proving in Higher Order Logics (TPHOLs'05).

More than parsing (2005) [pdf] [bib] [slides(pdf)]
Angel Herranz and Pablo Nogueira. Spanish Conference on Informatics (CEDI-PROLE'05)
The MTP site: babel.ls.fi.upm.es/research/mtp.

Partial conditional algebraic specifications and their initial algebra semantics (2006) [pdf]
Pablo Nogueira. Under revision to appear as a Babel Group Technical Report.
El lenguaje C--: manual de referencia, tutorial y semántica formal (2000) [ps]
Pablo Nogueira. TFC, Facultad de Informática, UPM, Spain.
Related tutorial Getting acquainted with the C-- language [pdf] (18 Sep 00),
which covers the May 1999 version of the language. Visit the C-- site for up-to-date information.

Students

Jaime Nuche Bascón, TFC (degree final project). A syntactic approach to macro-grammars for context-free languages (Jul 09) [pdf]
Álvaro García Pérez, MSc. Exploring the β-hypercube (Sep 09) [pdf]

Notes on Tom Cargill's "Exception Handling: A False Sense of Security" (15 Oct 08) [html]
Type classes: Not quite overloading (29 Jan 08) [html]
C++ Templates from a types perspective (7 Jun 06) [html]
The gist of side effects in pure functional languages (28 June 05) [pdf] [corrections]
Notes on flex/lex and yacc/bison (26 Dec 99) [pdf]
Check out the simple desk calculator example in Toys
Hovik Keutchkerian's humus recipe [html]