Theoretical Computer Science and General Issues

Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Editors: Uustalu, Tarmo (Ed.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-35632-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-540-35631-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (25 chapters)

  • What Is a Good Process Semantics?

    Cockett, Robin

    Pages 1-3

  • Refunctionalization at Work

    Danvy, Olivier

    Pages 4-4

  • Aspects and Data Refinement

    Avgustinov, Pavel (et al.)

    Pages 5-9

  • Towards Generic Programming with Sized Types

    Abel, Andreas

    Pages 10-28

  • Relational Semantics for Higher-Order Programs

    Aboul-Hosn, Kamal (et al.)

    Pages 29-48

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-35632-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-540-35631-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematics of Program Construction
Book Subtitle
8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Editors
  • Tarmo Uustalu
Series Title
Theoretical Computer Science and General Issues
Series Volume
4014
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35632-5
DOI
10.1007/11783596
Softcover ISBN
978-3-540-35631-8
Edition Number
1
Number of Pages
X, 458
Topics