ISBN 9783540744634,Types for Proofs and Programs

Types for Proofs and Programs

Rs5207

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.
Scroll