Lecture Notes in Computer Science
cover

Implementation of Functional Languages

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Editors: Trinder, Phil, Michaelson, Greg, Pena, Ricardo (Eds.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-540-27861-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $89.99
price for USA in USD

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Lazy Assertions

    Pages 1-19

    Chitil, Olaf (et al.)

  • Interfacing Haskell with Object-Oriented Languages

    Pages 20-35

    Pang, André T. H. (et al.)

  • A Functional Shell That Dynamically Combines Compiled Code

    Pages 36-52

    Weelden, Arjen (et al.)

  • Polymorphic Type Reconstruction Using Type Equations

    Pages 53-68

    Choppella, Venkatesh

  • Correctness of Non-determinism Analyses in a Parallel-Functional Language

    Pages 69-85

    Segura, Clara (et al.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-540-27861-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $89.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

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 Michaelson
  • Ricardo Pena
Series Title
Lecture Notes in Computer Science
Series Volume
3145
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-27861-0
DOI
10.1007/b102274
Softcover ISBN
978-3-540-23727-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 190
Topics