Opening book details…
Can I read Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science) on EtoBox?
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science) by Ricardo Pena, Clara Segura (auth.), Thomas Arts, Markus Mohnen (eds.) is a nonfiction available to read on EtoBox.
What is Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science) about?
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, held in Stockholm, Sweden in September 2001. The eleven revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 28 workshop papers. Among the topics covered are relevant aspects of implementing and using functional languages, such as type systems, compilation, program optimization, theorem proving, program correctness, program analysis, parallel compilers, subtyping, and generic programming.
Who reads Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Ricardo Pena, Clara Segura (auth.), Thomas Arts, Markus Mohnen (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2002
- Language
- EN
- ISBN
- 9783540435372
- Category
- nonfiction
- Subjects
- Computer Science, Language Learning, Programming
Other editions & translations
More by Ricardo Pena, Clara Segura (auth.), Thomas Arts, Markus Mohnen (eds.)
Browse all works by Ricardo Pena, Clara Segura (auth.), Thomas Arts, Markus Mohnen (eds.)
Similar books
- Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 4015) — Alcino Cunha, Jorge Sousa Pinto, José Proença (auth.), Andrew Butterfield, Clemens Grelck, Frank Huch (2006)
- Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers — Steffen Mazanek, Mark Minas (auth.), Olaf Chitil, Zoltán Horváth, Viktória Zsók (2008)
- Implementation and application of functional languages : 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009 : revised selected papers — Vincent St-Amour, Marc Feeley (auth.), Marco T. Morazán, Sven-Bodo Scholz (2010)
- Implementation of functional languages: 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002: revised selected papers — Kevin Hammond, Greg Michaelson (auth.), Ricardo Peña, Thomas Arts (2003)
- Implementation and application of functional languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, the Netherlands, September 1-3, 2010 : revised selected papers — George Giorgidze, Torsten Grust (auth.), Jurriaan Hage, Marco T. Morazán (2011)
- Implementation And Application Of Functional Languages: 23rd International Symposium, Ifl 2011, Lawrence, Ks, Usa, October 3-5, 2011, Revised Selected Papers (lecture Notes In Computer Science) — Arie Middelkoop, Alexander B. Elyasov (auth.), Andy Gill, Jurriaan Hage (2012)