Hacker News
- PhD Position availalble at Strathclyde http://lists.seas.upenn.edu/pipermail/types-announce/2011/002643.html 3 comments haskell
- Oregon Programming Languages Summer School: Types, Semantics, and Verification http://lists.seas.upenn.edu/pipermail/types-announce/2011/002241.html 20 comments haskell
- What does a negative proposition represent in type theory? http://lists.seas.upenn.edu/pipermail/types-list/2010/001484.html 10 comments programming
- Robin Milner, Turing award winner, inventer of the pi-calculus, and co-inventer of type-inference, passed away today. http://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html 42 comments programming
- Constructive Law of Excluded Middle http://lists.seas.upenn.edu/pipermail/types-list/2009/001396.html 13 comments haskell
- International Summer School on Advances in Programming Languages: Scotland, 25th-28th August http://lists.seas.upenn.edu/pipermail/types-announce/2009/001435.html 3 comments haskell