January Meeting - Strong Types for Relational Databases
This meeting will be discussing Strong Types for Relational Databases by Alexandra Silva and Joost Visser. In this paper, the authors present a way of expressing relation algebra in a strongly typed manner in a functional programming language. This is actually quite a tricky problem, because the types of some relational operators are dependent on the names of the columns rather than just the types. Their approach uses Type-Level Programming, and is implemented in Haskell (although the high-level technique is probably not language-specific).
This is intended to be an active rather than passive activity. Attendees are expected to at least have read the paper, if not done some further experimentation. One or more people will have investigated the paper in some depth and should be able to lead the discussion.
The first meeting will be held at Credit Suisse on Tuesday 29th January, at 6.30pm, at 1 (One) Madison Avenue, between 23rd and 24th St., in the Gramercy Room on the 12th floor. We're not currently sure which entrance is the right one to use, but they should be able to tell you at the main entrance on Madison Ave.
In order to attend, you must register as a user on this site.
We hope to see many of you there!
Howard, Jeff and Anton.