© 2013

Trends in Functional Programming

13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

  • Hans-Wolfgang Loidl
  • Ricardo Peña


  • Proceedings of the 13th International Symposium on Trends in Functional Programming, TFP 2012

Conference proceedings TFP 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7829)

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Contributions

    1. Josef Svenningsson, Emil Axelsson
      Pages 21-36
    2. Luminous Fennell, Peter Thiemann
      Pages 37-52
    3. Attila Góbi, Olha Shkaravska, Marko van Eekelen
      Pages 53-68
    4. Erik Silkensen, Jeremy Siek
      Pages 69-84
    5. Sjaak Smetsers, Marko van Eekelen
      Pages 85-100
    6. Judith Rohloff, Florian Lorenzen
      Pages 101-116
    7. Adam Procter, William L. Harrison, Aaron Stump
      Pages 117-132
    8. Vladimir Komendantsky
      Pages 149-166
    9. Xavier Clerc
      Pages 167-181
    10. Baltasar Trancón y Widemann, Carl Friedrich Bolz, Clemens Grelck
      Pages 182-197
    11. Peter Kourzanov, Henk Sips
      Pages 198-214
    12. Bas van Gijzel, Henrik Nilsson
      Pages 215-230
    13. Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
      Pages 231-246
    14. Robert Stewart, Phil Trinder, Patrick Maier
      Pages 247-262
    15. Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas et al.
      Pages 263-278
    16. Miguel Diogo, Clemens Grelck
      Pages 279-294
    17. Stavros Aronis, Konstantinos Sagonas
      Pages 295-310

About these proceedings


This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.


lambda calculus lazy functional language parallel programs regular expressions typing

Editors and affiliations

  • Hans-Wolfgang Loidl
    • 1
  • Ricardo Peña
    • 2
  1. 1.School of Mathematics and Computer ScienceHeriot-Watt UniversityEdinburghScotland, UK
  2. 2.Facultad de InformáticaUniversidad Complutense de MadridMadridSpain

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment