Dear Haskellers,
I'll be giving an advanced Haskell tutorial as part of the CUFP 2014 workshop.
* Date/time: 4 Sep 2014, 9:00 AM - 12:30 PM
* Place: Gothenburg, Sweden (affiliated with ICFP 2014)
* Early registration deadline: 3 Aug 2014!
The tutorial teaches important technique
... 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,
Hello,
I don't know if there are French-speaking people reading this mailing-list,
but we at haskell-fr have some great news today !
We didn't find any French translation of the "Haskell Tutorial for C
Programmers", thus we decide to write it.
Today, I would like to an
Dear HASKELL people.
we are organizing in Kings College, London (23-24 october) one small workshop
on the Rewriting Calculus.
http://rho.loria.fr/workshop2006.html
In one phrase, rewriting calculus
http://rho.loria.fr/
is lambda calculus with sophisticated pattern
matching features which is a
Just spotted this Haskell tutorial at IBM developerWorks (free
registration required):
http://www-105.ibm.com/developerworks/education.nsf/linux-onlinecourse-b
ytitle/9A31A3C4A0CE683E86256AD400822942?open&t=grl,l=805,t=haskell
(hope that URL doesn't get mangled by Exchange...). Looks
A few people sent me mail saying they didn't receive the message about
the Haskell tutorial that Joe Fasel and I wrote. That's probably
because it was buried in the following message announcing Haskell 1.2.
Please note that also buried in this announcement is the availability
of an e
