Trends in Functional Programming

11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

  • Rex Page
  • Zoltán Horváth
  • Viktória Zsók
Conference proceedings TFP 2010

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

Table of contents

  1. Front Matter
  2. Stephen Chang, David Van Horn, Matthias Felleisen
    Pages 1-15
  3. Konrad Anton, Peter Thiemann
    Pages 16-30
  4. Christopher Brown, Huiqing Li, Simon Thompson
    Pages 31-49
  5. Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
    Pages 66-83
  6. Carl Eastlund, Matthias Felleisen
    Pages 84-101
  7. Andrew Farmer, Garrin Kimmell, Andy Gill
    Pages 102-117
  8. Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
    Pages 118-133
  9. Pieter Koopman, Rinus Plasmeijer
    Pages 134-149
  10. Kevin Matlage, Andy Gill
    Pages 150-165
  11. Marco T. Morazán
    Pages 166-183
  12. Michał Ptaszek, Maciej Malawski
    Pages 184-197
  13. Mark Snyder, Perry Alexander
    Pages 198-213
  14. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.

Keywords

Erlang Haskell graphical language process networks structural analysis

Editors and affiliations

  • Rex Page
    • 1
  • Zoltán Horváth
    • 2
  • Viktória Zsók
    • 3
  1. 1.School of Computer ScienceUniversity of OklahomaNormanUSA
  2. 2.Faculty of Informatics, Department of Programming Languages and CompilersEötvös Loránd University, , , ,BudpestHungary
  3. 3.Faculty of Informatics, Department of Programming Languages and CompilersEötvös Loránd UniversityBudpestHungary

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-22941-1
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22940-4
  • Online ISBN 978-3-642-22941-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book