Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3145)
Conference series link(s): IFL: International Symposium on Implementation and Application of Functional Languages
Conference proceedings info: IFL 2003.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (11 papers)
-
Front Matter
-
Implementation of Functional Languages
-
Language Constructs and Programming
-
Back Matter
Keywords
- algorithm
- algorithms
- functional programming
- functional programming languages
- functional theorem proving
- generic programming
- haskell programming
- higher-order functional programs
- programming
- programming languages implementation
- type systems
Editors and Affiliations
-
Dept. of Mathematics and Comp. Sci., Heriot-Watt University, Edinburgh, UK
Phil Trinder
-
Dept. of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland
Greg J. Michaelson
-
Departamento Sistemas Informaticos y Programacin, Facultad de Informatica, Universidad Complutense de Madrid, Madrid, Spain
Ricardo Peña
Bibliographic Information
Book Title: Implementation of Functional Languages
Book Subtitle: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
Editors: Phil Trinder, Greg J. Michaelson, Ricardo Peña
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b102274
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2005
Softcover ISBN: 978-3-540-23727-3Published: 29 November 2004
eBook ISBN: 978-3-540-27861-0Published: 27 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 190
Topics: Programming Techniques, Compilers and Interpreters, Computer Science, Computer Science Logic and Foundations of Programming