• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Implementation and Application of Functional Languages: 23rd International Symposium, Ifl 2011, Lawrence, Ks, Usa, October 3-5, 2011, Revised Selected

Implementation and Application of Functional Languages: 23rd International Symposium, Ifl 2011, Lawrence, Ks, Usa, October 3-5, 2011, Revised Selected

Paperback

FictionProgramming

ISBN10: 3642344062
ISBN13: 9783642344060
Publisher: Springer
Published: Oct 21 2012
Pages: 181
Weight: 0.61
Height: 0.41 Width: 6.14 Depth: 9.21
Language: English
Functional Instrumentation of ActionScript Programs with Asil.- Fairness for Transactional Events.- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell.- Challenges for a Trace-Based Just-In-Time Compiler for Haskell.- Lazy Generation of Canonical Test Programs.- Generic Monadic Constructs for Embedded Languages.- From Stack Traces to Lazy Rewriting Sequences.- Model Based Testing with Logical Properties versus State Machines.- Property-Based Testing and Verification: A Catalog of Classroom Examples.- Describing and Optimising Reversible Logic Using a Functional Language.- Hardware Design with Generalized Arrows.

Also in

Fiction