Skip to main content
SpringerLink
Log in
Book cover

Trends in Functional Programming

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Rex Page

    1. School of Computer Science, University of Oklahoma, Norman, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zoltán Horváth

    1. Faculty of Informatics, Department of Programming Languages and Compilers, Eötvös Loránd University, , , ,, Budpest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Viktória Zsók

    1. Faculty of Informatics, Department of Programming Languages and Compilers, Eötvös Loránd University, Budpest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility State-of-the-art research Fast-track conference proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TFP 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Evaluating Call-by-Need on the Control Stack

    • Stephen Chang, David Van Horn, Matthias Felleisen
    Pages 1-15

  3. Typing Coroutines

    • Konrad Anton, Peter Thiemann
    Pages 16-30

  4. An Expression Processor: A Case Study in Refactoring Haskell Programs

    • Christopher Brown, Huiqing Li, Simon Thompson
    Pages 31-49

  5. Static Balance Checking for First-Class Modular Systems of Equations

    • John Capper, Henrik Nilsson
    Pages 50-65

  6. Graphical and Incremental Type Inference: A Graph Transformation Approach

    • Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
    Pages 66-83

  7. Hygienic Macros for ACL2

    • Carl Eastlund, Matthias Felleisen
    Pages 84-101

  8. What’s the Matter with Kansas Lava?

    • Andrew Farmer, Garrin Kimmell, Andy Gill
    Pages 102-117

  9. Types and Type Families for Hardware Simulation and Synthesis

    • Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
    Pages 118-133

  10. Testing with Functional Reference Implementations

    • Pieter Koopman, Rinus Plasmeijer
    Pages 134-149

  11. Every Animation Should Have a Beginning, a Middle, and an End

    • Kevin Matlage, Andy Gill
    Pages 150-165

  12. Functional Video Games in the CS1 Classroom

    • Marco T. Morazán
    Pages 166-183

  13. ComputErl – Erlang-Based Framework for Many Task Computing

    • Michał Ptaszek, Maciej Malawski
    Pages 184-197

  14. Monad Factory: Type-Indexed Monads

    • Mark Snyder, Perry Alexander
    Pages 198-213

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Trends in Functional Programming

Keywords

About this book

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.

Editors and Affiliations

  • School of Computer Science, University of Oklahoma, Norman, USA

    Rex Page

  • Faculty of Informatics, Department of Programming Languages and Compilers, Eötvös Loránd University, , , ,, Budpest, Hungary

    Zoltán Horváth

  • Faculty of Informatics, Department of Programming Languages and Compilers, Eötvös Loránd University, Budpest, Hungary

    Viktória Zsók

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation