Teaching (at www.fi.upm.es)

Algorithms and Data Structures.
Functional Programming.

Papers

Hybrid strategies, spine strategies, residualising model and full reduction in pure lambda calculi (2012) [pdf]
Álvaro García Pérez, Pablo Nogueira. Submitted to the International Conference on Functional Programming 2012.
Associated code (proper version uploaded on 30 Mar 2012).
The beta cube (extended abstract) (2010) [bib]
Álvaro García Pérez, Pablo Nogueira, Emilio J. Gallego Arias. Workshop on Strategies in Rewriting, Proving, and Programming 2010.
First-order unification using variable-free relational algebra (2010) [www]
Emilio J. Gallego Arias, James Lipton, Julio Mariño, and Pablo Nogueira. Logic Journal of the IGPL, Oxford University Press.
(An earlier version presented at the Workshop on Unification 2008.)
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 2008.
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 award.)
Context-parametric polykinded types (2006) [pdf] [bib] [errata]
Pablo Nogueira. Workshop on Generic Programming 2006.
Proof-directed debugging and repair (2006) [pdf] [bib]
Louise A. Dennis, Pablo Nogueira, and Raul Monroy. Local proceedings of Trends in Functional Programming 2006.
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 2005.
More than parsing (2005) [pdf] [bib] [slides(pdf)]
Angel Herranz and Pablo Nogueira. Spanish Conference on Informatics 2005.
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 (and obsolete) tutorial Getting acquainted with the C-- language [pdf] (18 Sep 2000),
which covers the May 1999 version of the language. Visit the C-- site for up-to-date information.

Students

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

Activities

Programme committee member for Spanish Functional Programming Workshop 2012.
Programme committee member for Implementation and Application of Functional Languages 2012.
Programme committee co-chair for Mathematics of Program Construction 2012.
Programme committee member for Workshop on Generic Programming 2011.
Programme committee chair for Spanish Functional Programming Workshop 2011.
Programme committee member for Spanish Functional Programming Workshop 2010.
Programme committee member for Spanish Functional Programming Workshop 2009.

Notes (comments welcome)

Notes on Tom Cargill's "Exception Handling: A False Sense of Security" (26 Aug 11) [html]
Type classes: Not quite overloading (26 Aug 11) [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]

Toys

Simple desk calculator (Dec 99, May 07) [README] [Sdc.zip]
A toy C compiler: code patterns and code generation (Feb 2000) [html]