26 Nov
2008
26 Nov
'08
12:30 p.m.
On Tue, 2008-11-25 at 13:37 +0100, Janis Voigtlaender wrote:
... I submitted my Habilitation thesis last week. The first few chapters of it try to give an introduction to Haskell with emphasis on types and reasoning principles. That might be an interesting read for some, so I made it accessible at http://wwwtcs.inf.tu-dresden.de/~voigt/habil.pdf.
I've downloaded it. Thanks! Hans van Thiel