1 option
Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltan Horvath, Viktoria Zsók.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 6546.
- Theoretical Computer Science and General Issues ; 6546
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Computer programming.
- Computer logic.
- Software engineering.
- Logic, Symbolic and mathematical.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (X, 215 pages).
- Edition:
- First edition 2011.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
- System Details:
- text file PDF
- Summary:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-22941-1
- 9783642229411
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.