Past Meetings, 2016

82: 23rd March

• Ben Lippmeier: Don't substitute into abstractions.
• Barry Jay: Programs as data structures in the λ-SF calculus.
• Liam O'Connor: Practicing what you preach: Design of principled Haskell software.

81: 24th February

• Manuel Chakravarty: FP principles in GUI programming in Swift.
• Conrad Parker: ​FPGA Design with CλaSH
• Mark Greenway: How I learned to stop worrying and love the floating point numbers.