Just Testing RSS

Random ramblings by me.

Archive

May
7th
Wed
permalink
Dons' Haskell is a strict language.
permalink
CUFP 2007 Videos in the ACM Digital Library.
Apr
3rd
Thu
permalink
Type Checking with Open Type Functions. GHC’s type checker supports type synonym families in the development version since a few months. This paper explains the type theory underlying that extension.
Mar
25th
Tue
permalink
The FP Sydney group (fp-syd) will have their second meeting this coming Thursday, 27 March.  Details are on the fp-syd Google groups page.
Feb
29th
Fri
permalink
Inaugural Meeting of FP-Syd. Here is the Google group of fp-syd.
Feb
14th
Thu
permalink
The glorious GHC for the discerning Mac user.
Dec
5th
Wed
permalink
Edsger W. Dijkstra’s Discipline in Thought.
Nov
26th
Mon
permalink
No monadic headaches: multi-core concurrency is easy in Haskell
permalink
C->Haskell 0.15.1 released. Duncan’s latest release builds with GHC 6.4 through to 6.8 and also properly supports OpenBSD and Windows. Moreover, the documentation has been updated.
Nov
15th
Thu
permalink
Generic programming with type-indexed data types using type families. On Monday I gave a talk at SAPLING on some recent ideas for coding Generic Haskell-style type-indexed data types using type families.