... 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.

And yes, the November HCAR will also be coming. Rather soon now that
this cause for delay is out of the way.

Ciao, Janis.

--
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:[EMAIL PROTECTED]

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to