ISBN 9783540744634,Types for Proofs and Programs

Types for Proofs and Programs

Rs5424

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540744634
Check delivery information
 
ISBN 9783540744634
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540744634

ISBN-10 3540744630
Binding

Paperback

Number of Pages 280 Pages
Subject

Programming & scripting languages: general

Constitutes the refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. This book presents 17 revised full papers that were reviewed and selected from 29 submissions.

More from Author

Scroll