Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Trends in Functional Programming: 11th International Symposium, TFP 2010

Buy

The 11th Symposium on Trends in Functional Programming took place on the University of Oklahoma campus in Norman, Oklahoma, May 17-19, 2010. The program included presentations of 26 papers submitted by researchers from six nations and an invited talk by J. Strother Moore on machine reasoning so well received that the question/answer session continued for a full hour beyond the talk, well into the lunch period. Most of the authors submitted revisions of their papers, based in part on responses to their presentations. The revisions were reviewed and discussed in detail by the Program Committee, and 13 of them were accepted for publication in this volume.

A little over half of the revisions accepted for publication were student papers (that is, papers with a student as first author). Following a long-established custom, the Program Committee designated one of them as the best student paper. This year the award went to Stephen Chang for his paper, with co-authors David van Horn and Matthias Felleisen, describing a way to evaluate a call-byneed λ-calculus on the control stack. The Program Committee appreciates the originality and insight in this work and congratulates Stephen Chang on earning the award.

TFP aspires to be a forum for new directions in functional programming research. This year was no exception. Presentations covered 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.

The editors want to thank the Program Committee and all of the referees for their diligence and for their well-considered reviews. We also want to thank the University of Oklahoma and Erlang Solutions Ltd, for their generous support. Finally, we thank the participants for their lively attention during the symposium. We trust that a good time was had by all.

(HTML tags aren't allowed.)

The Human Hippocampus: Functional Anatomy, Vascularization and Serial Sections with MRI
The Human Hippocampus: Functional Anatomy, Vascularization and Serial Sections with MRI

This book offers a precise description of the anatomy of human hippocampus in view of neurosurgical progress and the wealth of medical imaging methods available. A survey of the current concepts explains the functions of the hippocampus and describes its external and internal vascularisation. Head sections and magnetic resonance images...

The Power of Algorithms: Inspiration and Examples in Everyday Life
The Power of Algorithms: Inspiration and Examples in Everyday Life

To examine, analyze, and manipulate a problem to the point of designing an algorithm for solving it is an exercise of fundamental value in many fields. With so many everyday activities governed by algorithmic principles, the power, precision, reliability and speed of execution demanded by users have transformed the design and...

Coaching Skills for Nonprofit Managers and Leaders: Developing People to Achieve Your Mission
Coaching Skills for Nonprofit Managers and Leaders: Developing People to Achieve Your Mission

The only nonprofit orientation to coaching skills available, Coaching Skills for Nonprofit Leaders will provide nonprofit managers with an understanding of why and how to coach, how to initiate coaching in specific situations, how to make coaching really work, and how to refine coaching for long-term success.

...


CISA Exam Prep: Certified Information Systems Auditor (ACM Press)
CISA Exam Prep: Certified Information Systems Auditor (ACM Press)
The CISA Exam Prep provides you with the market's most comprehensive and current material for passing the new CISA certification exam. Exam Prep's best-selling study methods feature chapter review questions, practice exams, exam alerts, notes, tips, and cautions. You'll also have exclusive access to online test...
Java Rules
Java Rules
Detailed yet accessible, Java™ Rules is a comprehensive reference for the application programmer who needs to master the intricacies of the Java™ programming language. Thoroughly describing the core of the Java programming language and the Java™ virtual machine (JVM™), Java™ Rules makes it...
Molluscan Shellfish Safety
Molluscan Shellfish Safety

In a time of rapid climatic, industrial and technological changes in molluscan shellfish producing and exporting regions, it is of the utmost importance to keep a keen eye on developing trends. This collection of recent research in molluscan shellfish safety, risk assessment, risk management, regulation and analytical methods presented at the...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy