Description |
1 online resource (x, 215 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 6546 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 6546. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Machine generated contents note: Evaluating Call-by-Need on the Control Stack / Matthias Felleisen -- Typing Coroutines / Peter Thiemann -- Expression Processor: A Case Study in Refactoring Haskell Programs / Simon Thompson -- Static Balance Checking for First-Class Modular Systems of Equations / Henrik Nilsson -- Graphical and Incremental Type Inference: A Graph Transformation Approach / Guillermo Prestigiacomo -- Hygienic Macros for ACL2 / Matthias Felleisen -- What's the Matter with Kansas Lava? / Andy Gill -- Types and Type Families for Hardware Simulation and Synthesis: The Internals and Externals of Kansas Lava / Ed Komp -- Testing with Functional Reference Implementations / Rinus Plasmeijer -- Every Animation Should Have a Beginning, a Middle, and an End: A Case Study of Using a Functor-Based Animation Language / Andy Gill -- Functional Video Games in the CS1 Classroom / Marco T. Morazan -- ComputErl -- Erlang-Based Framework for Many Task Computing / Maciej Malawski -- Monad Factory: Type-Indexed Monads / Perry Alexander |
Summary |
Annotation 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 |
Analysis |
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
programmeren |
|
programming |
|
software engineering |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Functional programming languages -- Congresses
|
|
Informatique.
|
|
Functional programming languages
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Page, Rex, 1944-
|
|
Horváth, Zoltán, 1962-
|
|
Zsók, Viktória.
|
ISBN |
9783642229411 |
|
3642229417 |
|