SingHaskell, Nov 28 (Second Call)

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

SingHaskell, Nov 28 (Second Call)

Tom Schrijvers-2

What is SingHaskell?

Sing(apore)Haskell is a Haskell (and related languages) meeting in
Singapore. The meeting is organized by Tom Schrijvers (
[hidden email] ) and Martin Sulzmann (
[hidden email] ) 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 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: 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.


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

Tom Schrijvers

Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee

tel: +32 16 327544
e-mail: [hidden email]
Haskell-Cafe mailing list
[hidden email]