Past Meetings, 2016

83: 18th April

This month's meeting moved forward (again) to avoid clash with LambdaJam.

• Sean Seefried
• Jost Berthold
• Tim Gilchrist

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.