Data structures, abstract machines, abstract pattern matching, monads, etc.

Refereed publications (since 1995 up to now)

• A. de la Encina, R. Peña
  "From Natural Semantics to C: A Formal Derivarion of two STG Machines"
  Journal of Functional Programming, Vol. 19, Num. 1, Jan. 2009, pages 47-94
  .pdf


• A. de la Encina, R. Peña
  "Formally Deriving an STG Machine"
  Proceedings of Principles and Practice of Declarative Programming, PPDP'03, Uppsala (Sweden), Aug. 2003, ACM Press, pages 102-112
  .pdf


• A. de la Encina, R. Peña
  "Proving the Correctness of the STG Machine"
  Selected papers of Implementation of Functional Languages, IFL'01, Stockholm (Sweden), Sept. 2001, Lecture Notes in Computer Science no. 2312, Springer 2002, pages 88-104.
  .pdf


• C. Pareja, R. Peña, F. Rubio, C. Segura
  "Adding Traces to a Lazy Monadic Evaluator"
  Proceedings of Workshop on Computer Aided Systems Theory, EUROCAST 2001, Las Palmas de Gran Canaria, Spain, Feb. 2001, Lecture Notes in Computer Science no. 2178, Springer, pages 13-27
  .pdf


• R. Peña, Y. Ortega, F. Rubio
  "Teaching Monadic Algorithms to First-Year Students"
  Proceedings of Workshop on Algorithmic Aspects of Advanced Programming Languages, WAAAPL'99, Paris (France), Oct. 1999, pages 33-45
  .pdf


• P. Palao, R. Peña, M. Núñez
  "A New Look to Pattern Matching in Abstract Data Types"
  International Conference on Functional Programming, ICFP'96, Philadelphia (EE.UU.), May 1996, ACM Press, pages 110-121
  .pdf


• M. Núñez, P. Palao, R. Peña
  "Second Year Course on Data Structures based on Functional Programming"
  Symposium on Functional Programming Languages in Education, FPLE'95, Nijmegen (The Netherlands), Dec. 1995, Lecture Notes in Computer Science no. 1022, Springer, pages 65-84
  .pdf


• C. Pareja, R. Peña, J. A. Velázquez
  "A Tabulation Transformation Tactic Using Haskell Arrays"
  FUJI International Workshop on Functional Programming, FUJI'95, Fuji Susono (Japan), Jul. 1995, pages 211-223
  .pdf