Jul
3rd
Thu
3rd
Apr
3rd
Thu
3rd
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
25th
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.
Dec
5th
Wed
5th
Edsger W. Dijkstra’s Discipline in Thought.