All decks Close
All decks 10

  • deck

    Nov 15, 2023 67 0

  • deck

    Nov 16, 2022 127 0

  • How to be an expert test writer.

    Sep 30, 2022 92 0

  • Keep your Types Small

    Feb 17, 2022 174 2

  • Introduction to FP

    Let the compiler prove itself to you

    Sep 10, 2021 98 0

  • Logic in your Types

    Use the compiler to prove your business logic.

    Jan 09, 2020 110 0

  • mutation gotchas

    Oct 31, 2019 144 0

  • Correct by Construction

    Let the compiler prove itself to you

    Jul 05, 2018 1,023 3

  • Refined

    Type Refinement in Scala

    Jun 02, 2017 103 0

  • Lenses

    Getters y Setters correctamente

    Nov 17, 2016 106 0