Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3474)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): IFL: International Symposium on Implementation and Application of Functional Languages
Conference proceedings info: IFL 2004.
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 (13 papers)
-
Front Matter
-
Back Matter
About this book
Keywords
- .NET
- ML
- ML programming
- function-based programming
- functional logic computation
- functional programming
- functional programming languages
- functional theorem proving
- logic
- programming
- programming languages implementation
- reduction
- virtual machines
Editors and Affiliations
-
University of Lübeck, Germany
Clemens Grelck
-
Institute of Computer Science, University of Kiel, Kiel, Germany
Frank Huch
-
Dept. of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland
Greg J. Michaelson
-
School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton, UK
Phil Trinder
Bibliographic Information
Book Title: Implementation and Application of Functional Languages
Book Subtitle: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
Editors: Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b136772
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2005
Softcover ISBN: 978-3-540-26094-3Published: 30 May 2005
eBook ISBN: 978-3-540-32038-8Published: 24 May 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 230
Topics: Compilers and Interpreters, Programming Techniques, Computer Science Logic and Foundations of Programming