Version 19 (modified by Ben Lippmeier, 11 years ago) (diff)


Past Meetings, 2011

--: December (no meeting)

40: 17th November

  • Sean Seefried, Generic Matrix Multiplication
  • Richard Garner, Dependent Types

39: 20th October

  • Shane Stephens - Optional Type Inference for JavaScript, and JavaScript Type Contracts, two crazy ideas from ICFP
  • Tom Sewell - Translation games in the land of the assembler
  • Tony Sloane - Introduction to Partial Evaluation

38: 8th September

(This meeting was moved a week earlier due to conflict with ICFP)

  • Paul Steckler: A discussion of Oleg's article on how impredicativity breaks type soundness in Haskell.
  • Mark Wotton: The Complete Idiots Guide to Template Haskell.
  • Ben Lippmeier: Unhygenic letregion and the region phase change in DDC core part 2.

37: 18th August

36: 21st July

35: 16th June

34: May 19th

33: April 21st

32: March 17th

31: February 17th

  • Gary Miller, Spreadsheets and Functional Programming
  • Paul Steckler, Memories of Type Systems Past

--: January (no meeting)