|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Olaf Chitil , Zoltan HorvathPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2008 ed. Volume: 5083 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 0.431kg ISBN: 9783540853725ISBN 10: 3540853723 Pages: 275 Publication Date: 25 August 2008 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 ContentsGraph Parser Combinators.- Testing Erlang Refactorings with QuickCheck.- Optimal Lambda Lifting in Quadratic Time.- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.- XHaskell – Adding Regular Expression Types to Haskell.- Partial Parsing: Combining Choice with Commitment.- Lazy Contract Checking for Immutable Data Structures.- The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.- A Supercompiler for Core Haskell.- Checking Dependent Types Using Compiled Code.- Debugging Lazy Functional Programs by Asking the Oracle.- Uniqueness Typing Simplified.- Tabular Expressions and Total Functional Programming.- Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler.- From Contracts Towards Dependent Types: Proofs by Partial Evaluation.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |