subject:"\[TYPES\/announce\] \(no subject\)"

[TYPES/announce] (no subject)

2009-06-24 Thread Stephanie Weirich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Participation ACM SIGPLAN Haskell Symposium 2009

[TYPES/announce] (no subject)

2009-05-25 Thread Oege de Moor

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] To: types-announce@lists.seas.upenn.edu Subject: 10 jobs in declarative programming TEN DECLARATIVE PROGRAMMING CONSULTANTS SOUGHT Semmle and LogicBlox are creating a platform