Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service
Conference proceeding (April 2016)
Implementation and Application of Functional Languages
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Graph Parser Combinators
-
Altmetric BadgeChapter 2 Testing Erlang Refactorings with QuickCheck
-
Altmetric BadgeChapter 3 Optimal Lambda Lifting in Quadratic Time
-
Altmetric BadgeChapter 4 The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
-
Altmetric BadgeChapter 5 XHaskell – Adding Regular Expression Types to Haskell
-
Altmetric BadgeChapter 6 Partial Parsing: Combining Choice with Commitment
-
Altmetric BadgeChapter 7 Lazy Contract Checking for Immutable Data Structures
-
Altmetric BadgeChapter 8 The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA
-
Altmetric BadgeChapter 9 A Supercompiler for Core Haskell
-
Altmetric BadgeChapter 10 Checking Dependent Types Using Compiled Code
-
Altmetric BadgeChapter 11 Debugging Lazy Functional Programs by Asking the Oracle
-
Altmetric BadgeChapter 12 Uniqueness Typing Simplified
-
Altmetric BadgeChapter 13 Tabular Expressions and Total Functional Programming
-
Altmetric BadgeChapter 14 Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler
-
Altmetric BadgeChapter 15 From Contracts Towards Dependent Types: Proofs by Partial Evaluation