All decks Close
All decks 4

  • Property-Based Testing Abstract Machines

    Apr 04, 2018 70 0

  • Subtyping, Intersection and Union Types

    An introduction of subtyping, intersection and union types in the simply typed lambda calculus, and their behaviour in the presence of mutable state.

    Mar 18, 2016 484 0

  • QuickChick

    Jan 26, 2016 101 0

  • Gradle Plugin Development (basics)

    Introduction to gradle plugin development

    Nov 20, 2015 190 0