Schedule
Friday 10 September, 2021
Opening words
Oli
Konfy, CEO
All You Wanted to Know About Type Classes
Alejandro Serrano Mena
47 Degrees, Software Engineer
tasty-bench: featherlight benchmark framework
Andrew Lelechenko
Haskell Foundation, Software Developer
Executable, Synthesizable, Human Readable: Pick Three
Gergő Érdi
Standard Chartered Bank, Functional programmer
One way and another
Dmitrii Kovanikov
Quantitative Developer, Standard Chartered Bank
Haskell LOL
Veronika Romashkina
Standard Chartered Bank, Software Engineer
Protocol pipelining in Typed-Protocols
Marcin Szamotulski
IOHK, Software Engineering Lead
Exceptions and concurrency
Ivan Gromakovskii
Serokell, Lead Software Developer
Quantum Computing and Haskell - A Linear Love Story?
Noon van der Silk
Senior Software Engineer, Tweag
Software like Lego - how Haskell naturally delivers on a decades old dream
Jan Christopher Vogt
Symbiont.io, Software Engineer with Haskell
The Best Reliable Software Technique You've Never Used: Unions
Gershom Bazerman
Awake Security, Software Developer
How to Implement the Lambda Calculus, Quickly
Stephanie Weirich
University of Pennsylvania, Professor of Computer Science
Strict Haskell
Thomas Tuegel
Mercury, Backend Engineer
Competitive Programming in Haskell
Brent Yorgey
Hendrix College, Assistant professor
Make It Purple: An Introduction To Type Level Programming
Rebecca Skinner
Mercury, Software Engineer
Continuation-passing style, defunctionalization, and associativity
Jeremy Gibbons
Professor of Computing, University of Oxford
Sound design with Haskell
Anton Kholomiov
mlabs.city, Haskell & Plutus Consultant
Workshop: "Building an EDSL - A Practical Workshop"
Sebastián Estrella
Stack Builders, Engineering Manager
Alternative by example - A typeclass for parsing, concurrency, logic programming and more!
Chris Penner
Vendasta, Software Engineer
Functional Programming + Dependent Types ≡ Verified Linear Algebra
Ryan Orendorff
Facebook Reality Labs Research, Research Scientist
Open Strings
Joseph Morag
Lantern, Partner
The Historical Futurism of Haskell
Andrew Boardman
Haskell Foundation, Executive Director
Keynote
Simon Peyton Jones
Microsoft Research, Senior Principal Researcher
Mercury. Product Demo
Max Tagher
Mercury, CTO