Version 6 (modified by Ben Lippmeier, 6 years ago) (diff)


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.