Save 40% on Business, Economics & Law books and 50% on Chemistry & Biomedicine eBooks!

Computer Science Software Engineering
Theoretical Computer Science and General Issues
Free Preview
© 2006

Implementation and Application of Functional Languages

17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Editors: Butterfield, Andrew, Grelck, Clemens, Huch, Frank (Eds.)

Buy this book

eBook 53,54 €
price for Spain (gross)
Buy eBook
  • ISBN 978-3-540-69175-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
Buy Softcover
  • ISBN 978-3-540-69174-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

FAQ Policy

Table of contents (13 chapters)

  • A Framework for Point-Free Program Transformation

    Cunha, Alcino (et al.)

    Pages 1-18

    Preview Buy Chapter 30,19 €

  • Encoding Strategies in the Lambda Calculus with Interaction Nets

    Mackie, Ian

    Pages 19-36

    Preview Buy Chapter 30,19 €

  • Proof Tool Support for Explicit Strictness

    Eekelen, Marko (et al.)

    Pages 37-54

    Preview Buy Chapter 30,19 €

  • A Rational Deconstruction of Landin’s J Operator

    Danvy, Olivier (et al.)

    Pages 55-73

    Preview Buy Chapter 30,19 €

  • A Dependently Typed Framework for Static Analysis of Program Execution Costs

    Brady, Edwin (et al.)

    Pages 74-90

    Preview Buy Chapter 30,19 €
Show next xx
Read this book on SpringerLink

Buy this book

eBook 53,54 €
price for Spain (gross)
Buy eBook
  • ISBN 978-3-540-69175-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
Buy Softcover
  • ISBN 978-3-540-69174-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

FAQ Policy
Loading...

Services for this Book

Facebook Twitter LinkedIn Google++

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Implementation and Application of Functional Languages
Book Subtitle
17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
Editors
  • Andrew Butterfield
  • Clemens Grelck
  • Frank Huch
Series Title
Theoretical Computer Science and General Issues
Series Volume
4015
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69175-4
DOI
10.1007/11964681
Softcover ISBN
978-3-540-69174-7
Edition Number
1
Number of Pages
IX, 231
Topics