|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Pieter Koopman , Doaitse Swierstra , Doaitse SwierstraPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2009 ed. Volume: 5832 Dimensions: Width: 15.50cm , Height: 2.00cm , Length: 23.50cm Weight: 0.534kg ISBN: 9783642046513ISBN 10: 3642046517 Pages: 331 Publication Date: 23 September 2009 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsSelf-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to Reduction-Free Normalization.- Libraries for Generic Programming in Haskell.- Dependently Typed Programming in Agda.- A Tutorial on Parallel and Concurrent Programming in Haskell.- An iTask Case Study: A Conference Management System.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |