Lambda World 2018 λ

Libraries

• Fuiid
• Refined
• cats-mtl
• cats-tagles
• cats-tagless
• agda
• Squants
• Libra
• kontextfrei
• shapeaware

Talks

• Headfirst into Haskell - Abby Sassel
  • Resource - https://github.com/sassela/haskell-learning
• Testing in the World of Functional Programming - Luka Jacobowitz
• functional-lenses
• Trip with monads - Pawel Szulc
• Functional Lenses - Flavio Corpa
• Build your own monads - Alejandro Serrano Mena
• Boring usecases for exiting types - Itamar Ravid

Lambda World 2019 λ

Talks

• A categorical view of computational effects - Emily Riehl
• Fun with categories - Marco Perone

Workshops

• Writing Programs That Write Tests: Better Testing With Scala - Adam Rosien