Olivier Lischer: Linear Haskell (Joint Meetup with "Papers We Love")

The paper "Linear Haskell - Practical Linearity in a Higher-Order Polymorphic Language", presents how the Haskell type system can be extended to support linear types.

While Haskell's type system is already considered strong, linear types restricts the number of valid programs further. Not only are there more invalid programs, but "use-after-free" errors are also detected by the compiler, thereby eliminating another category of errors.

This talk will give an introduction into linear logic, linear types, and how they work in the proposed Haskell implementation.

This is a joint talk with the Zurich chapter of "Papers We Love". This talk follows the ZuriHac 2027 organisation kickoff meeting that starts at 18h00 in the same room, which everyone is welcome to attend.