View source for Haskell in education

[[Category:Education]]
This is a collection of material of interest to those teaching or
taking courses that use Haskell.  There is also a more general site,
http://www.cs.kun.nl/fple/, devoted to all functional languages.  The proceedings of the latest
[http://www.informatik.uni-kiel.de/~mh/publications/reports/fdpe02/ International Workshop on Functional and Declarative Programming in Education (FDPE)] are now available.
Some of the lecture notes and
other course material found in these web pages are excellent
supplements to the available text books.
If you would like to use lecture
notes, assignments, or other material found in these course web pages
please contact the author for permission.

Most of the entries are years old. When you add your own new
material to this page, please also say when the course was run for the last time.

The results of a survey of university courses using Haskell in the academic year 2005-2006 can be found [http://www.cs.chalmers.se/~rjmh/Wash/Survey/teaching.htm here]. Also, some news were added during the 2006-2007 academic year.

== Suitable Course Textbooks ==

See [[Books#Textbooks]].

== Haskell as a first language ==

These courses teach Haskell to students with no background in programming.

<b>Instructor:</b> [http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler] University of Edinburgh<br>
<b>Course:</b> [[Informatics 1 - Functional Programming]]<br>
<b>Materials:</b> GHCi, Emacs, Thompson: Haskell, the Craft of Functional Programming<br>
<b>Web page:</b> http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/ <br>


<b>Instructor:</b> [mailto:page@ou.edu Rex Page] 
University of
Oklahoma<br>
<b>Course:</b> Introduction to Computer Programming<br>
<b>Student background:</b>  High-school mathematics<br>
<b>Materials:</b>   Projects, Exams, Downloadable textbook: Rex Page, 
&quot;Two
Dozen Short Lessons in Haskell&quot;<br>
<b>Web page:</b> http://www.cs.ou.edu/~rlpage/fpclassSpring97/

<b>Comments:</b>
<blockquote>
These materials arose from a course offered for three consecutive
semesters as
an alternative to our usual first course in programming. Most of the
students
who took the course graduated in the past two years, and many of them
cited it
in the exit interview with the department chair as the most influential
course
in the entire academic career.
<p>All materials for two offerings of the course are available through
the web
page. This includes individual projects, team projects, project
solutions,
exams, supplied software (connected with certain projects), tips for
students
taking the course, FAQs addressing questions that students asked during
the
semester, and a short textbook which served as the primary text in the
course.</p>
<p>The first 10 to 11 weeks of the course use Haskell. Students are
required to
write nine programs in Haskell, three of which are team projects that
combine
software developed in individual projects. Different members of a team
are
assigned different individual projects, and the team efforts combine
their
solutions into a working piece of software.</p>
<p>In the early part of the course, students use operators like map,
foldr, zip,
and iterate to express computations. Explicit recursion is introduced
after some
experience with these common patterns of computation. Examples and
problems
address non-numeric applications, for the most part. Both interactive
and file
I/O are covered, but general purpose monads are not.</p>
<p>The last 5 to 6 weeks of the course use C, and most of the projects
in that
part of the course duplicate the function of earlier pieces of software
that the
students have written in Haskell.</p>
</blockquote>


<b>Instructor:</b> [mailto:Jonathan.Hill@comlab.ox.ac.uk Jonathan Hill]
Oxford University Computing Laboratory<br>
<b>Course:</b> Functional Programming for the Integrated Graduate Development Programme in Software Engineering at Oxford University.<br>
<b>Student background:</b> Discrete mathematics (the course is a part time MSc for people from industry; most are from IBM or Nortel).<br>
<b>Materials:</b>  Gofer (an old version, with a stripped down prelude---no parameter classes!); Own course material<br>
<b>Web page:</b> http://www.comlab.ox.ac.uk/igdp/text/course06.html
Note: Web pages not accessible. May be ... moved ? 


<b>Instructor:</b> [mailto:nxg@cs.nott.ac.uk Neil Ghani]
School of Computer Science, University of Nottingham<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> None<br>
<b>Materials:</b>  Hugs; Graham Hutton, Programming in Haskell; own lecture slides<br>
<b>Web page:</b> http://www.cs.nott.ac.uk/~nxg/G51FUN06/fun.html

<b>Instructor:</b> [mailto:prins@cs.unc.edu" Jan Prins]
UNC Chapel Hill<br>
<b>Course:</b> Introduction to Functional Programming<br>
<b>Student background:</b> solid background in high-school science and mathematics<br>
<b>Materials:</b>  Hugs 1.4 incl. Active Haskell, FRAN and [[Haskore]]; Simon Thompson, "Haskell: The Art of Functional Programming"<br>
<b>Web page:</b> http://www.cs.unc.edu/~prins/Classes/15/<br>
<b>Comments:</b>
<blockquote>
(Introductory programming course for CS and math/science majors, typically Freshman and Sophomores.  Class size ~60)

Our undergraduate computing environment is now largely
PCs running Windows NT.  We use NTEmacs as the programming
environment with a slightly modified version of Emacs hugs
mode with hugs running as a subprocess.  The combined
hugs/NTEmacs/Active Haskell distribution (available through
course home page) is installed on 400+ public Win NT machines
on campus and some unknown number of student-owned Win 95/98
machines.

This arrangement is new this semester, but so far has been
working well.  Keystroke-oriented interactive applications
may be problematic with hugs running in NTEmacs shell mode.

I'm planning assignments using Fran and Active Haskell and
will try teaching the "brief introduction to imperative
programming" at the end of the class using monads.  I would
be interested in talking with anyone who has experience or
suggestions along these lines.

I took a cue from Paul Hudak and others and have occasional
appearances of MS Agents during lectures to wake students up!

This is my first time teaching this course, and I would
enjoy talking to others teaching at a similar level.  A
cursory search on the web didn't reveal many courses
in this category.
</blockquote>


<b>Instructor:</b> [mailto:dave@cs.chalmers.se David Sands]
University of Gothenburg & Chalmers University of Technology<br>
<b>Course:</b> Programmering för Naturvetare<br>
<b>Student background:</b> New students<br>
<b>Materials:</b>  hugs 1.4; Simon Thompson<br>
<b>Web page:</b> http://www.md.chalmers.se/Cs/Grundutb/Kurser/nptah/<br>
<b>Comments:</b>
<blockquote>
This is the first part of a first course in programming. About 16
lectures, each 2x45 mins plus weekly exercise classes and three
assessed programming exercises. Most of my materials are in English.
</blockquote>


<b>Instructor:</b> [mailto:M.A.Rodrigues@dcs.hull.ac.uk Marcos A Rodrigues]
The University of Hull, Hull, UK<br>
<b>Course:</b> Functional and Logic Programming<br>
<b>Student background:</b> none<br>
<b>Materials:</b>  hugs 1.4; Haskell: the Craft of Functional Programming. Thompson S., Addison Wesley, 1996.<br>

<b>Instructor:</b> [mailto:Torsten.Grust@uni-konstanz.de Torsten Grust]
University of Konstanz (Germany)<br> 
<b>Course:</b> Deklarative Programmierung (Declarative Programming, in german)<br>
<b>Student background:</b> basic math, no programming background required<br>
<b>Materials:</b>  Hugs 1.4; (~300) slides available from the course web page;
Jeroen Fokker's classroom text: Functional Programming
http://www.cs.uu.nl/~jeroen/courses/fp-eng.ps.gz</a>;
Richard Bird, Phil Wadler: Introduction to Functional Programming; Simon Peyton-Jones: Implementation of Functional Programming Languages<br>
<b>Web page:</b> http://www.fmi.uni-konstanz.de/dbis/Courses-old/Courses-ss98/decl-ss98.html<br>
<b>Comments:</b>
<blockquote>
The course is in German only (sorry about that).  It additionally
features an introduction to logical programming and Prolog.
</blockquote>


<b>Instructor:</b> [mailto:richardb@cse.unsw.edu.au Richard Buckland]
University of New South Wales<br>
<b>Course:</b> Computing 1A<br>
<b>Student background:</b> Mixed, some have no computing
background.  This is our cs1 subject.<br>
<b>Materials:</b>  Hugs 1.4; Simon Thompson<br>
<b>Web page:</b> http://www.cse.unsw.edu.au/~cs1011<br>


<b>Instructor:</b> [mailto:robert@techfak.uni-bielefeld Robert Giegerich], Stefan Posch, University Bielefeld, Germany<br>
<b>Course:</b> Introduction to Computer Science<br>
<b>Student background:</b> Completed High School (Abitur)<br>
<b>Materials:</b>  Hugs; Class Notes by Robert Giegerich and Ralf Hinze<br>
<b>Comments:</b>
<blockquote>
Our first semester course
uses Haskell as a vehicle to fundamental aspects of computation:
algorithmics, specification and verification, efficiency analysis,
programming methods. This works wonderfully. We do not require previous
or additional programming experience. Haskell is quickly learned, 
to the necessary degreee; we make no attempt to cover the full language.
This is NOT a Haskell course! Haskell allows us to speak about concepts
of computer science WITHOUT a lot of language learning. And Haskell
even helps to keep out detrimental habits from previous programming
experience, as well as motivational problems resulting from the widely
differing previous experiences of our incoming  students.
</blockquote>


<b>Instructor:</b> [mailto:hj@sm.luth.se Håkan Jonsson] Luleå University of Technology, Sweden<br>
<b>Course:</b> SMD001, functional programming<br>
<b>Student background:</b> 
None. This is the very first programming course 
our students take.<br>
<b>Materials:</b>  
Materials: Simon Thompson's Haskell book + 7 laboratory/programming 
assignments using Hugs.
<br>
<b>Web page:</b>http://www.sm.luth.se/csee/courses/smd/001/ (mostly Swedish)<br> 


<b>Instructor:</b> [mailto:Clem.Baker-Finch@cs.anu.edu.au Clem Baker-Finch, Australian National University<br>
<b>Course:</b>Introduction to Programming and Algorithms<br>
<b>Student background:</b> No programming background was
assumed.
<br>
<b>Materials:</b>  GHC, GHCi, Simon Thompson 1st ed., my own materials. 
<br>
<b>Web page:</b> http://cs.anu.edu.au/Student/comp1100/<br> 
<b>Comments:</b>
<blockquote>
The first 75% of the course is basic programming concepts using Haskell.  The remainder covers the same concepts in Java.  This is reinforced - hopefully - by the third assignment (in Java) being the same as the first assignment (in Haskell).  The aim is to provide a managed transition to the course which follows in second semester.  Another point of possible interest is the use of a simple graphics library, ANUPlot, built on top of the OpenGL binding.  See http://code.google.com/p/anuplot/
</blockquote>


<b>Instructor:</b> [mailto:lyndon@cs.uwa.edu.au Lyndon While] The University of Western Australia<br>
<b>Course:</b> Foundations of Computer Science<br>
<b>Student background:</b> None<br>
<b>Materials:</b>  hugs 98; Thompson.<br>
<b>Web page:</b> http://undergraduate.cs.uwa.edu.au/courses/230.123<br>


<b>Instructor:</b> [http://www.cs.us.es/~jalonso José A. Alonso Jiménez] Dept of Computer Science and A.I., University of Seville, Spain<br>
<b>Course:</b> Informatics (Inform&aacute;tica, in spanish)<br>
<b>Student background:</b> None. This is the very first programming course 
our students take.<br>
<b>Materials:</b> GHCi, Emacs, Graham Hutton: &quot;Programming in Haskell&quot;, Slides, Exercises, Exams <br>
<b>Web page:</b> http://www.cs.us.es/~jalonso/cursos/i1m (in spanish)<br>
<b>First run:</b> 2009–2010<br>
<b>Last run:</b> 2012–2013

----

== Haskell as a second language ==

These courses teach Haskell to students that have already learned
another language.

<b>Instructor:</b> [mailto:page@ou.edu Rex Page]
University of Oklahoma<br>
<b>Course:</b> Discrete Mathematics<br>
<b>Student background:</b>  High-school mathematics, introductory programming
course (any language)<br>
<b>Materials:</b>   Lecture notes, Projects, Exams, Solutions, Proof checking
tools, etc.; text: Hall and O'Donnell, &quot;Discrete Mathematics with a
Computer&quot;<br>

<b>Web page:</b>  http://www.cs.ou.edu/~beseme/<br>
<b>Comments:</b>
<blockquote>
Lecture notes comprise over 350 animated slides (all both PowerPoint and
PDF
formats). About two-thirds of the material centers around mathematical logic.
After the introduction of predicates, all of the examples in the logic
portion
of the course involve reasoning about properties of software, most of which is
expressed in Haskell (a few are conventional looping functions).
<p>Software examples include sum, sequence concatenation, logical operations on
sequences, the Russian peasant algorithm, insertion and lookup in AVL 
trees, and
other computations. Most of the properties verified relate to aspects of 
program
correctness, but resource utilization properties are also verified in 
some
cases. Several semesters worth of exams (finals and exams given during 
the term)
are provided. The slides have matured through several offerings of the course.</p>
<p>The remaining third of the course discusses other standard topics
in discrete
mathematics, such as sets, functions, relations, trees, and counting.
The web
page provides access to a preview of the material. Exams and solutions are
protected by a login procedure (to increase the comfort level of
instructors
wishing to use them in courses). The web page provides a link through
which
instructors may gain access to the full website.</p>
</blockquote>


<b>Instructor:</b> [mailto:labra@lsi.uniovi.es Jose Emilio Labra Gayo],
Dept. of Computer Science (EUITIO) University of Oviedo<br>
<b>Course:</b> Logic and Functional Programming<br>
<b>Student background:</b> The course is oriented towards third year undergraduate students in computer science. Usually, the students have been
introduced to imperative languages like Pascal and Object 
Oriented Languages like C++<br>
<b>Materials:</b>  Hugs; R. Bird "Introd. to FP using Haskell" (2nd Ed), J. E. Labra Gayo. "Introduction to the Haskell Language" (in spanish).<br>
<b>Web page:</b> http://lsi.uniovi.es/~labra/plf.html (in spanish).
 My FP page: http://lsi.uniovi.es/~labra/FuncProg.html<br>


<b>Instructor:</b> [mailto:fruehr@willamette.edu Fritz Ruehr]
Willamette University, Salem, Oregon, USA (a small Liberal Arts College, about 1 hour from Portland & OGI)<br>
<b>Course:</b> CS 451 Topics in Computer Science: Functional Programming<br>
<b>Student background:</b> Data structures (I may also have required discrete math)<br>
<b>Materials:</b>  Hugs 1.4 beta (I also taught Scheme); Haskell: The Craft of Functional Programming by Simon Thompson (I also used my own on-line lecture notes and labs and Kent Dybvig's text on Scheme)<br>
<b>Web page:</b> http://www.willamette.edu/~fruehr/451/<br>
<b>Comments:</b>
<blockquote>
The notes and labs I have on-line are in pretty rough form: many slide 
points are just one-line topical stubs I used as reminders in lecture.
Many of the on-line materials are not linked into the (out of date)
home page.

I hope to have the course approved for next Fall as a regular offering
(i.e., not as a "special topic") and should have more extensive
on-line materials up by then.

Teaching "bi-lingually" in Haskell and Scheme seemed like a good idea
at the time, but next time around I will use Haskell as the main vehicle,
perhaps taking some time near the end of the course to highlight some
other languages (Scheme, ML, Clean).

Some of my students used Conal Elliot's Fran and Paul Hudak's Haskore
and liked them a lot; I was nice to have some significantly-sized
applications that seemed more practical and fun to show off at the end
of the course (I should have demonstrated these things at the beginning
of the course to help with motivation). Next time around I would like to
have a "beginner's prelude" or similar available to avoid problems with
classes in type inference, Int vs. Integer, etc. These problems were a
constant annoyance during lectures.
</blockquote>


<b>Instructor:</b> [mailto:J.Hamer@cs.auckland.ac.nz John Hamer],
University of Auckland<br>
<b>Course:</b> Logic and Functional Programming<br>
<b>Student background:</b> Year 2 programming + some discrete maths<br>
<b>Materials:</b>  Hugs 98,  Haskell School of Expression, Page "Two Dozen Short Lessons in Haskell",<br>
<b>Web page:</b> http://www.cs.auckland.ac.nz/compsci360fc<br>


<b>Instructor:</b> [mailto:lengauer@fmi.uni-passau.de Chris Lengauer]
University of Passau<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> two years of CS study<br>
<b>Materials:</b>  hugs; Richard Bird's new text (PHI)<br>
<b>Web page:</b> not reachable from outside Passau<br>


<b>Instructor:</b> [mailto:cunningham@cs.olemiss.edu Conrad Cunningham]
University of Mississippi<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> official -- senior or graduate standing; actual --  introductory programming, data structures, and discrete math<br>
<b>Materials:</b>  Hugs on Unix and MS Windows systems;
Mostly use the instructor's own set of lecture notes. Also Simon Thompson's HASKELL:  THE CRAFT OF FUNCTIONAL PROGRAMMING. Previously used the Bird and Wadler textbook<br>
<b>Web page:</b> http://www.cs.olemiss.edu/~hcc/csci555/<br>
<b>Comments:</b>
<blockquote>
Although I am not a researcher in FP, I enjoy teaching the FP course.
Most of the students take to the course after a few weeks.  Hugs works
reasonably well, but, of course, more pedagogically oriented error messages
and other support tools would be helpful.
</blockquote>


<b>Instructor:</b> [mailto:leavens@cs.iastate.edu Gary T. Leavens],
Iowa State University<br>
<b>Course:</b> Programming Languages 1<br>
<b>Student background:</b> undergraduate course in compilers or programming languaages<br>
<b>Materials:</b>  Hugs 1.4; Thompson's Haskell: The Craft of Programming<br>
<b>Web page:</b> http://www.cs.iastate.edu/~leavens/ComS541.html<br>
<b>Comments:</b>
<blockquote>
Be sure to tell your students how to debug programs.
</blockquote>


<b>Instructor:</b> [mailto:jtod@dcs.gla.ac.uk John O'Donnell]
University of Glasgow<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> Programming (in Ada), Algorithmic Foundations<br>
<b>Materials:</b>  Hugs; Simon Thompson's book on Haskell<br>
<b>Web page:</b> http://www.dcs.gla.ac.uk/courses/teaching/level2/modules/#FP2<br>

<b>Instructor:</b> [mailto:chitil@informatik.rwth-aachen.de Olaf Chitil],
RWTH Aachen, Germany<br>
<b>Course:</b> Functional Programming in Haskell<br>
<b>Student background:</b> basic programming skills (not necessarily in a
functional language)<br>
<b>Materials:</b>  Hugs 1.4; Hugs user manual, slide copies;
additionally the `Gentle Introduction to Haskell', probably Bird's `Introduction
to Functional Programming using Haskell' in the future.<br>
<b>Web page:</b> http://www-i2.informatik.rwth-aachen.de/Praktikum/SWP/ (in German)<br>
<b>Comments:</b>
<blockquote>
The course starts with 4 full time days of learning Haskell. During the semester
the students (in groups of 2 students) have to implement a compiler and an
abstract machine for a simple imperative language. They are given parts of the
system and a manual on how to do the remaining parts (they have no prior
knowledge on compiler construction).
The most difficult construct for students to understand is the monad. I
introduce IO without mentioning monads. Later I explain how to build a simple
exception handling system based on the type `Maybe a' / `Error a'. Only
subsequently I give the general definition of monads and present the list monad
and a simple state monad. However, I fear that just to understand the bind
operator `>>=' requires people to be quite comfortable with higher-order
functions.
</blockquote>


<b>Instructor:</b> [http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html Richard Bird], Oxford Brookes University<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> Elementary structured programming<br>
<b>Web page:</b> http://web.comlab.ox.ac.uk/oucl/courses/topics00-01/fp/<br>


<b>Instructor:</b> [mailto:paul.hudak@yale.edu Paul Hudak],
Yale University, Dept of Computer Science<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> at least one programming course<br>
<b>Materials:</b>  Hugs; my own textbook, which is under preparation<br>
<b>Web page:</b> none<br>


<b>Instructor:</b> [mailto:abf@cs.ucc.ie Alex Ferguson]
University College Cork<br>
<b>Course:</b> Functional and Logic Programming<br>
<b>Student background:</b> Final year undergraduate
<br>
<b>Materials:</b>  Final year undergraduate
Materials: Hugs 98; ghc;  Simon Thompson, "Haskell: The Craft of
Functional Programming" (2nd ed.)
<br>
<b>Web page:</b> http://yeats.ucc.ie/~abf/CS4001/<br> 
<b>Comments:</b>
<blockquote>
This is the declarative programming option for 4th year
undergrads, who have Java as a first programming language, and some
knowledge of C and C++.  The current final year have had some exposure
to Haskell in first year, though this is no longer the case for our
current intake.
</blockquote>


<b>Instructor:</b> [mailto:lky@nada.kth.se Leif Kusoffsky],
Royal Institute of Technology, Stockholm<br>
<b>Course:</b> Functional Programming 2D1370<br>
<b>Student background:</b> The course is oriented towards third year
undergraduate students in computer science. The students
have been introduced to imperative languages like
C and Object Oriented Languages like Java
<br>
<b>Materials:</b>  Hugs;  Hudak : The Haskell School of Expression
<br>


<b>Instructor:</b> Jeremy Bobbio -- INSIA<br>
<b>Course:</b> Functional and Logic Programming<br>
<b>Student background:</b> One year CS
<br>
<b>Materials:</b>  
Hugs, GHC, Paul Hudak's Haskell School of Education
<br>
<b>Web page:</b> http://etudiants.insia.org/~jbobbio/pafp/ (french)<br> 


<b>Instructor:</b> [mailto:antkaij@mit.jyu.fi Antti-Juhani Kaijanaho]
University of Jyväskylä<br>
<b>Course:</b> Functional Programming 1 & 2<br>
<b>Student background:</b> third-year undergraduate and up
<br>
<b>Materials:</b>
GHC, Gtk2HS
<br>
<b>Web page:</b> [http://www.mit.jyu.fi/antkaij/opetus/fo/2005-2006/index.en.html]
<br>
<b>Last run:</b> 2005&ndash;2006
<br>
<!--<b>Comments:</b>
<blockquote>
(I'll write this later)
</blockquote>-->

<b>Instructor:</b> [mailto:djd@comp.leeds.ac.uk David Duke]
University of Leeds, School of Computing<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> Second and third year undergraduate
<br>
<b>Materials:</b>  ghc;  Graham Hutton "Programming in Haskell"
<br>
<b>Web page:</b> www.comp.leeds.ac.uk/se23/<br> 
<b>Comments:</b>
<blockquote>
This is an optional course that students currently can take in 
second or third year (from 2008/9 it will be third-years only).
Students will have previously used Python and Java.
Although the emphasis is on learning to solve problems within
the functional paradigm, and how to develop solutions within
Haskell, I also like to show students what is "under the
bonnet" and conclude the module with an introduction to
implementation issues, using material derived from
"Implementing Functional Languages" by Simon Peyton Jones and 
David Lester.  
</blockquote>

<b>Instructor:</b> [mailto:popavdan@yahoo.com Popa V. Dan]
University of Bacau, Romania <br>
<b>Course:</b>  "Limbaje formale si automate" (Formal languages and automata) <br>
<b>Student background:</b> second-year undergraduate 
<br>
<b>Materials:</b> Hugs 98 (2002 revised version) included in Mandriva (Formely Mandrake) 10.0 Linux Distribution
<br>
<b>Web page:</b> Not yet. Try the page of the "ro" community on www.haskell.org
<br> [http://www.haskell.org/haskellwiki/Ro/Haskell Ro/Haskell webpage is here] <br>
<b>First run:</b> 2006&ndash;2007
<br>

    Haskell is used as an implementation languages in student's laboratories.
    The ideea was to provide a language powerfull enough to be able to express 
    how to build a parser starting from a grammmar. The students are able
    to build small (monadic) interpreters for "while-languages" using a     
    recommanded monad and a recommanded back-end. The labs are focusing on the 
    grammar of the languages, on the modular (monadic) parsing as a tool for  
    verifying and processing inputs which are not validable by finite state 
    automata but by context free grammmars. Adaptability of the language, 
    especially obtained manipulating and improving syntax is also a target.
    
    Support (concerning Haskell): "O introducere in Haskell prin exemple" by
    Dan Popa, published in january 31,2007  by 
    [http://www.edusoft.ro  Edusoft](in romanian) Contact the author if needed .
    
    Other recommanded books: "Gentle Introd to Haskell 98" and YAHT 
    Recomanded papers: All about monadic parsing. 
    Special message for Graham Hutton, Erik Meijer and P. Wadler and all 
    other authors with similar interests from the Haskell    
    community:

    Thank you very much for your papers concerning Monadic parsing and 
    interpreters ! 

<b>Course:</b>  Programming Paradigms <br>


----

== Comparative programming languages ==

These courses teach general programming language principles, with
Haskell as an example of a functional language.

<b>Instructor: </b> Ruediger Marcus Flaig, University of Heidelberg (Germany)
<br>
<b>Course:</b> An introduction to programming in bioinformatics <br>
<b>Student background:</b> different, but generally low<br>
<b>Materials:</b>  Hugs-98 and lots of other stuff
<br>
<b>Web page:</b> http://www.sanctacaris.net/rc.html<br> 
<b>Comments:</b>
<blockquote>
This course is designed to introduce life science students,
that is to say, going-to-be biologists, physicians, biotechnologists
and maybe others, to solving real-life problems (such as DNA sequence
handling and analysis). Emphasis will be on paradigms (imperative /
OO, functional, declarative). Although -- in order not to frighten
people -- the official announcement mentions only Python, Haskell will
be presented as THE purely functional language, and all solutions may
be presented in either Python, Haskell or Java. I am very curious
about the feedback I'll get, and maybe next term we shall focus more
on Haskell. What I'd really need, though, is some life science related
package for Haskell, such as BIOPYTHON and BIORUBY. 
</blockquote>


<b>Instructor:</b> [mailto:ham@cs.utexas.edu Hamilton Richards],
University of Texas (Austin)<br>
<b>Course:</b> Programming Languages (taught in 2005)<br>
<b>Student background:</b> <br>
<b>Materials:</b>  Hugs 1.4; Sethi, Davie.<br>
<b>Web page:</b> http://www.cs.utexas.edu/users/ham/UTCS/CS345/<br>
<b>Comments:</b>
<blockquote>
I'm using Haskell in a programming-languages course, but it's distributed
somewhat piecemeal through the course. Probably adds up to something like
3-4 weeks (out of 15).
</blockquote>


<b>Instructor:</b> [http://www.cs.waikato.ac.nz/~marku Mark Utting]
University of Waikato (New Zealand)
<b>Course:</b> Programming Languages<br>
<b>Student background:</b> Two years of C++ and 1 year of Haskell<br>
<b>Materials:</b>  Textbook "Programming Languages", Louden.
<b>Web page:</b> http://www.cs.waikato.ac.nz/~marku/313<br>
<b>Comments:</b>
<blockquote>
The course covers at least two languages in each of the
main paradigms (object-oriented, functional and logic programming),
plus history, semantics and implementation issues.
The Haskell section is about 2 weeks long and usually focusses on 
programming with higher-order functions and how that enables the
language to be extended in application-specific ways
(parser combinators, html-generation combinators etc.)
</blockquote>

<b>Instructor:</b> [mailto:zeeshan@apiit.edu.pk M Zeeshan Ali Ansari],
Asia Pacific Institute of Information Technology (Pakistan)<br>
<b>Course:</b> Advanced Programming Language Concepts<br>
<b>Student background:</b> Students having studied and worked on Imperative Programming Languages  <br>
<b>Materials:</b>  The Craft of Haskell, A Gentle Introduction to Haskell, Yet Another Haskell Tutorial.<br>
<b>Web page:</b> http://www.apiit.edu.pk<br>
<b>Comments:</b>
<blockquote>
This course compares and contrasts various programming language paradigms including Functional Programming. Out of 13 week course 5 to 6 of them are dedicated towards Haskell. The material is basically written in a way that enables imperative language programmers to understand the concepts and power of functional programming 

http://www.haskell.org/sitewiki/images/3/3d/Functional_Programming_Tutorial_By_Zeeshan_Ali_Ansari.doc


</blockquote>

<b>Instructor:</b> John C. Mitchell,
Stanford University<br>
<b>Course:</b> Programming Languages<br>
<b>Student background:</b> Some experience with Lisp/C/object-oriented languages.<br>
<b>Materials:</b>  Concepts in Programming Languages (new Haskell chapters written with Kathleen Fisher)<br>
<b>Web page:</b> http://cs242.stanford.edu<br>
<b>Comments:</b>
<blockquote>
Central concepts in modern programming languages, impact on software development, language design trade-offs, and implementation considerations. Functional, imperative, and object-oriented paradigms. Formal semantic methods and program analysis. Modern type systems, higher order functions and closures, exceptions and continuations. Modularity, object-oriented languages, and concurrency. Runtime support for language features, interoperability, and security issues. 
</blockquote>

----

== Advanced functional programming using Haskell ==

These courses deal with the advanced issues such as semantics, type
systems, or compilers.  Includes a other advanced courses taught using
Haskell. 

<b>Instructor:</b> [mailto:gmh@cs.nott.ac.uk Graham Hutton]
School of Computer Science, University of Nottingham<br>
<b>Course:</b> Advanced Functional Programming<br>
<b>Student background:</b> At least one year of CS, including a course in Haskell<br>
<b>Materials:</b>  Hugs; GHC; Graham Hutton, Programming in Haskell; own course material<br>
<b>Web page:</b> http://www.cs.nott.ac.uk/~gmh/afp.html

<b>Instructor:</b> [mailto:rjmh@cs.chalmers.se John Hughes]
Chalmers University, Gothenburg<br>
<b>Course:</b> Advanced Functional Programming<br>
<b>Student background:</b> General CS maturity; from this year most students have already used Haskell in introductory courses.<br>
<b>Materials:</b>  Mainly hbc.; Papers (see web page)<br>
<b>Web page:</b> http://www.cs.chalmers.se/~rjmh/AFP<br>
<b>Comments:</b>
<blockquote>
The goal is to teach students how to solve substantial problems in a
functional language --- `functional programming in anger', one might say. The
emphasis is on design and use of suitable combinator libraries to simplify
applications.  Material covered includes monad design, use of CPS style,
libraries for parsing, pretty-printing, and GUIs (presently fudgets). 

The course is taught in a `problem based' manner: lectures are few, while
students solve three substantial programming problems during the term, with
plenty of backup via group meetings. I adopted this teaching form three years
ago, and it has led students to develop far better practical skills than most
obtained from my earlier `lectures and exercises' courses, and I believe to
use Haskell much more after the course's end.

This course is optional in the third or fourth year, and is taken by a
small-to-medium sized group of students.
</blockquote>


<b>Instructor:</b> [mailto:Olof.Johanssson@cs.umu.se Olof Johansson], Umeå Univesity, Department of Computing Science<br>
<b>Course:</b> Programming language semantics<br>
<b>Student background:</b> two terms of computer science studies and specificaly a course Programming language concepts<br>
<b>Materials:</b>  Hugs and some HBC and GHC; Watt, Programming language, Syntax and Semantics<br>
<b>Web page:</b> http://www.cs.umu.se/local/kurser/TDBC05 (Only in swedish)<br> 


<b>Instructor:</b> [mailto:lyndon@cs.uwa.edu.au Lyndon While]
The University of Western Australia<br>
<b>Course:</b> Functional Programming<br>
<b>Student background:</b> OOP, plus most of them have used Haskell previously<br>
<b>Materials:</b>  hugs 98; none of the recent books really fit<br>
<b>Web page:</b> http://undergraduate.cs.uwa.edu.au/courses/230.301<br>
<b>Instructor:</b> [mailto:F.A.Rabhi@dcs.hull.ac.uk Fethi Rabhi],
University of Hull (UK)<br>
<b>Course:</b> AI Problem Solving Techniques (using Haskell and Prolog)<br>
<b>Student background:</b> Haskell and Prolog programming<br>
<b>Materials:</b>  HUGS; Thompson'96, own notes (soon to be published as a book).<br>
<b>Web page:</b> none<br>
<b>Comments:</b>
<blockquote>
It is very hard to justify learning Haskell unless it can be
demonstrated in very practical situations (hence the provision
of the above course).
</blockquote>


<b>Instructor:</b> [mailto:karczma@info.unicaen.fr Jerzy Karczmarczuk]
University of Caen, Caen (France)<br> No links in the fr-Haskell page. Why not ?
<b>Course:</b> Compilation<br>
<b>Student background:</b> General CS knowledge; students (should...) know Scheme and imperative languages, also some theory of languages and automata.<br>
<b>Materials:</b>  
Hugs, GHC, now also GHCi, and their documentation. Handouts: (still a little incomplete)
Impossible to find the foolowing matterials.Files can not be found.         
* http://users.info.unicaen.fr/~karczma/matrs/Maitcomp/compilation_a.pdf
* http://users.info.unicaen.fr/~karczma/matrs/Maitcomp/compilation_b.pdf
* http://users.info.unicaen.fr/~karczma/matrs/Maitcomp/compilation_c.pdf
<b>Comments:</b>
<blockquote>
This is a compulsory semestrial course in fourth year. Weekly: 1.5h
course, 2.5H practice.
One, but comprehensive assignment, taking 2 months or more.
askell is our main coding tool. A little time is devoted by necessity
to the language
itself, but also from the perspective: "how would you compile such a
language".
"Standard stuff", such as parsing combinators, etc.is covered, but we
don't begin with that.
We start with the construction of small interpreters: from recursive
Lisp-style to postfix,
(Forth/PostScript style) constructing this last by partial evaluation
(intuitively).
We introduce control structures as lazy functions, operation
sequencing through continuations,
monads not only for parsing, but also for exceptions and
non-determinism.
We discuss (simply) the type inference. The code generator assembles a
linear code by lazy
concatenation of chunks which makes it trivial to deal with loops and
cross-referencing
fragments.  Algorithms of garbage collection are presented (not
implemented, though...) in
  a purely functional style.

Students' opinion: "Frightening at first. Learning curve steep, but
much less time spent on debugging, coding proficiency comes fast. Good for
understanding what the compilation is about, but difficult to make a
complete running program with all the I/O, etc.
</blockquote>


<b>Instructor:</b> [mailto:jeffm@cse.uconn.edu Jeffrey A. Meunier], University of Connecticut<br>
<b>Course:</b> CSE240 Intermediate Computer Systems<br>
<b>Student background:</b> computer/microprocessor organization
<br>
<b>Materials:</b>  Hugs (Feb 2001); Bird ``Introduction to Functional
Programming''; Furber ``ARM System-on-Chip Architecture''
<br>
<b>Web page:</b> http://www.engr.uconn.edu/~jeffm/Classes/CSE240-Spring-2001/index.html<br> 
<b>Comments:</b>
<blockquote>
This is a course in the low level programming of microprocessor systems.
The course will focus on the development of an emulator (virtual
machine, or VM) for a small computer system based on a modern RISC
microprocessor (the ARM CPU) using a high level programming language
(Haskell), and assembly language programming of the VM. Development of
the VM will occur in stages, starting with the simple direct-execution
(stream-based) model, gradually moving to a more realistic memory-mapped
model, including exception handlers, concurrent processes, and
asynchronous external devices.
</blockquote>

<b>Instructor:</b> Gabriele Keller
The University of New South Wales<br>
<b>Course:</b> Concepts of Programming Languages<br>
<b>Student background:</b> Most of them have used Haskell in first year<br>
<b>Materials:</b>  GHC, TaPL and `Programming Languages: Theory and Practice', papers<br>
<b>Web page:</b> http://www.cse.unsw.edu.au/~cs3161<br>
<b>Last run:</b> 2006<br>
<b>Comments:</b>
<blockquote>
Expose students to a theory of programming languages based on type
theory and operational semantics as a mathematically sound framework
which allows us to investigate the properties of a large number of
programming language features, including:

* on semantics of different programming languages and programming paradigms: imperative, object oriented, and declarative.
* theoretical foundations of programming languages: syntax, operatational, axiomatic and denotational semantics.
* implementation aspects of central language features, such as dynamic and strong typing, polymorphism, overloading and automatic memory management

Assignments are in GHC/Haskell, and in the past have included implementing a
mini-Haskell type checker, type inference and interpreter.
</blockquote>

<b>Instructor:</b> Manuel Chakravarty
The University of New South Wales<br>
<b>Course:</b> Advanced Functional Programming<br>
<b>Student background:</b> Most of them have used Haskell in first year<br>
<b>Materials:</b>  GHC, papers (see the website)<br>
<b>Web page:</b> http://www.cse.unsw.edu.au/~cs4132<br>
<b>Last run:</b>2004<br>
<b>Comments:</b>
<blockquote>
To provide students with an understanding of the theory and practice of
the design, use, and implementation of functional programming languages,
such as Haskell

This includes selected topics from the following areas:

* Foundations: lambda calculus, semantics, and type systems.
* Design: side-effects, exceptions, concurrency, and parallelism.
* Implementation: abstract machines, program transformation, and memory management.  
* Programming techniques: combinator libraries, monads, generic programming, and meta programming.
* Applications: domain specific languages, graphics, web programming, reactive systems, and scientific programming.
</blockquote>

[[Category:Community]]