What is SingHaskell? Sing(apore)Haskell is a Haskell (and related languages) meeting in Singapore. The meeting is organized by Tom Schrijvers ( Tom.Schrijvers@cs.kuleuven.be ) and Martin Sulzmann ( sulzmann@comp.nus.edu.sg ) and will be hosted by the National University of Singapore. Date and location Sing(apore)Haskell takes place on Wed 28 Nov 2007 (right before APLAS'07 http://flint.cs.yale.edu/aplas2007/). The meeting will be held on the National University of Singapore campus at COM1-02-VC (2nd floor video conference room, School of Computing) Further location details: http://www.comp.nus.edu.sg/aboutsoc/getting_to_soc_at_com1.htm http://www.comp.nus.edu.sg/corpcomm/location/maps.htm#com1 http://www.comp.nus.edu.sg/corpcomm/location/COM1_L2.htm The meeting starts at 9:30am and should end around 2pmish (with a lunch-break, on your own, in between) Let Tom or Martin know if you are interested in coming. Either to attend the meeting or even give a talk. Programme 9:30-9:55 Welcome, Quick intro to Haskell, Martin Sulzmann 10:00-10:25 First Class Constraint Programming in Haskell, Tom Schrijvers 10:30-10:55 Implementing STM in Concurrent Haskell, Frank Huch 11:00-11:25 Rule-based concurrent programming in Haskell, Edmund Lam 11:30-11:55 XHaskell - Adding regular expression types to Haskell, Kenny 12:00 - 12:25 Static Contract Checking for Haskell, Dana Xu 12:30 - 13:20 Lunch break 13:30 - 13:25 Functional dependencies versus type functions and beyond, Martin Sulzmann 13:30-13:55 Bernd Brassel For more information, see http://taichi.ddns.comp.nus.edu.sg/taichiwiki/SingHaskell2007 -- Tom Schrijvers Department of Computer Science K.U. Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium tel: +32 16 327544 e-mail: tom.schrijvers@cs.kuleuven.be url: http://www.cs.kuleuven.be/~toms/