Personal tools

Haskell in education

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Education moved to Haskell in education)
(Haskell as a second language)
(43 intermediate revisions by 19 users not shown)
Line 1: Line 1:
  +
[[Category:Education]]
 
This is a collection of material of interest to those teaching or
 
This is a collection of material of interest to those teaching or
 
taking courses that use Haskell. There is also a more general site,
 
taking courses that use Haskell. There is also a more general site,
Line 12: Line 13:
 
Most of the entries are years old. When you add your own new
 
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.
 
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 ==
 
== Haskell as a first language ==
   
 
These courses teach Haskell to students with no background in programming.
 
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]
 
<b>Instructor:</b> [mailto:page@ou.edu Rex Page]
Line 80: Line 93:
 
<b>Materials:</b> Gofer (an old version, with a stripped down prelude---no parameter classes!); Own course material<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
 
<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:gmh@cs.nott.ac.uk Graham Hutton]
+
<b>Instructor:</b> [mailto:nxg@cs.nott.ac.uk Neil Ghani]
Department of Computer Science, University of Nottingham<br>
+
School of Computer Science, University of Nottingham<br>
 
<b>Course:</b> Functional Programming<br>
 
<b>Course:</b> Functional Programming<br>
 
<b>Student background:</b> None<br>
 
<b>Student background:</b> None<br>
<b>Materials:</b> Hugs 1.3; Richard Bird, Introduction to Functional Programming using Haskell (second edition), Prentice Hall, 1998. Handwritten slides and exercises; copies available on request.<br>
+
<b>Materials:</b> Hugs; Graham Hutton, Programming in Haskell; own lecture slides<br>
<b>Web page:</b> http://www.cs.nott.ac.uk/Modules/9899/G51FUN.html
+
<b>Web page:</b> http://www.cs.nott.ac.uk/~nxg/G51FUN06/fun.html
 
   
 
<b>Instructor:</b> [mailto:prins@cs.unc.edu" Jan Prins]
 
<b>Instructor:</b> [mailto:prins@cs.unc.edu" Jan Prins]
Line 93: Line 107:
 
<b>Course:</b> Introduction to Functional Programming<br>
 
<b>Course:</b> Introduction to Functional Programming<br>
 
<b>Student background:</b> solid background in high-school science and mathematics<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>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>Web page:</b> http://www.cs.unc.edu/~prins/Classes/15/<br>
 
<b>Comments:</b>
 
<b>Comments:</b>
Line 206: Line 220:
   
 
<b>Instructor:</b> [mailto:Clem.Baker-Finch@cs.anu.edu.au Clem Baker-Finch, Australian National University<br>
 
<b>Instructor:</b> [mailto:Clem.Baker-Finch@cs.anu.edu.au Clem Baker-Finch, Australian National University<br>
<b>Course:</b>CE1 <br>
+
<b>Course:</b>Introduction to Programming and Algorithms<br>
 
<b>Student background:</b> No programming background was
 
<b>Student background:</b> No programming background was
 
assumed.
 
assumed.
 
<br>
 
<br>
<b>Materials:</b> Based on Haskell 1.3; Hugs; Simon Thompson 1st ed.
+
<b>Materials:</b> GHC, GHCi, Simon Thompson 1st ed., my own materials.
 
<br>
 
<br>
<b>Web page:</b> http://cs.anu.edu.au/~Clem.Baker-Finch/CE1/<br>
+
<b>Web page:</b> http://cs.anu.edu.au/Student/comp1100/<br>
 
<b>Comments:</b>
 
<b>Comments:</b>
 
<blockquote>
 
<blockquote>
The forces of evil (the O-O crowd) prevailed in
+
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/
the programming languages argument and it hasn't been taught since.
 
 
</blockquote>
 
</blockquote>
   
Line 225: Line 239:
 
<b>Web page:</b> http://undergraduate.cs.uwa.edu.au/courses/230.123<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
   
 
----
 
----
Line 326: Line 349:
 
<b>Web page:</b> http://www.cs.auckland.ac.nz/compsci360fc<br>
 
<b>Web page:</b> http://www.cs.auckland.ac.nz/compsci360fc<br>
   
 
<b>Instructor:</b> [mailto:ham@cs.utexas.edu Hamilton Richards],
 
University of Teaxs at Austin<br>
 
<b>Course:</b> CS307 Foundations of Computer Science<br>
 
<b>Student background:</b> (1) A score of at least 560 on the SAT
 
II Subject Test in Mathematics Level I or Level IC, or a score of at least
 
530 on the SAT II Subject Test in Mathematics Level IIC, or a grade of at
 
least C in Mathematics 305G (pre-calculus); (2) One year of programming in
 
high school, or a grade of at least C in CS 304P (an introductory course
 
that does not count for credit towards a CS degree), or consent of
 
instructor.<br>
 
<b>Materials:</b> Hugs 98; Simon Thompson, Haskell: The Craft of
 
Functional Programming. <br>
 
<b>Web page:</b> http://www.cs.utexas.edu/users/ham/UTCS/CS307/<br>
 
<b>Comments:</b>
 
<blockquote>
 
Students who succeed in this
 
course are well prepared for the rest of our CS curriculum, which is more
 
theoretical than most.
 
</blockquote>
 
   
 
<b>Instructor:</b> [mailto:lengauer@fmi.uni-passau.de Chris Lengauer]
 
<b>Instructor:</b> [mailto:lengauer@fmi.uni-passau.de Chris Lengauer]
Line 471: Line 474:
 
<b>Web page:</b> http://etudiants.insia.org/~jbobbio/pafp/ (french)<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 ! <br>
  +
  +
  +
'''List of Instructors:''' Involved people [http://www.pdep.com.ar/Home/quines-somos [1]] National and Technological University, Buenos Aires, Argentina (Universidad Tecnológica Nacional - Facultad Regional Buenos Aires)<br>
  +
'''Course:''' Programming Paradigms <br>
  +
'''Student background:''' This is a second-year undergraduate course. Students have already been introduced to basic structured programming concepts. <br>
  +
'''Materials:''' Pharo Smalltalk; LOOP [http://www.esug.org/wiki/pier/Conferences/2011/InnovationTechnologyAwards [2]] , SWI-Prolog, Hugs, GHC, "Learn You a Haskell For a Great Good" (Spanish Version), Lecture Notes, Exams. <br>
  +
'''Web page:''' You can find our homepage in [http://www.pdep.com.ar here] (Only Spanish Version).
  +
  +
Students are being introduced to three main programming paradigms: <br>
  +
  +
• Object Oriented Programming <br>
  +
• Logical Programming <br>
  +
• Functional Programming <br>
   
 
----
 
----
Line 504: Line 594:
 
<b>Instructor:</b> [mailto:ham@cs.utexas.edu Hamilton Richards],
 
<b>Instructor:</b> [mailto:ham@cs.utexas.edu Hamilton Richards],
 
University of Texas (Austin)<br>
 
University of Texas (Austin)<br>
<b>Course:</b> Programming Languages<br>
+
<b>Course:</b> Programming Languages (taught in 2005)<br>
 
<b>Student background:</b> <br>
 
<b>Student background:</b> <br>
 
<b>Materials:</b> Hugs 1.4; Sethi, Davie.<br>
 
<b>Materials:</b> Hugs 1.4; Sethi, Davie.<br>
Line 531: Line 621:
 
language to be extended in application-specific ways
 
language to be extended in application-specific ways
 
(parser combinators, html-generation combinators etc.)
 
(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>
 
</blockquote>
   
Line 540: Line 656:
 
systems, or compilers. Includes a other advanced courses taught using
 
systems, or compilers. Includes a other advanced courses taught using
 
Haskell.
 
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]
 
<b>Instructor:</b> [mailto:rjmh@cs.chalmers.se John Hughes]
Line 571: Line 694:
 
<b>Student background:</b> two terms of computer science studies and specificaly a course Programming language concepts<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>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>Web page:</b> http://www.cs.umu.se/local/kurser/TDBC05 (Only in swedish)<br>
   
   
Line 595: Line 718:
   
 
<b>Instructor:</b> [mailto:karczma@info.unicaen.fr Jerzy Karczmarczuk]
 
<b>Instructor:</b> [mailto:karczma@info.unicaen.fr Jerzy Karczmarczuk]
University of Caen, Caen (France)<br>
+
University of Caen, Caen (France)<br> No links in the fr-Haskell page. Why not ?
 
<b>Course:</b> Compilation<br>
 
<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>Student background:</b> General CS knowledge; students (should...) know Scheme and imperative languages, also some theory of languages and automata.<br>
 
<b>Materials:</b>
 
<b>Materials:</b>
 
Hugs, GHC, now also GHCi, and their documentation. Handouts: (still a little incomplete)
 
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_a.pdf
 
* http://users.info.unicaen.fr/~karczma/matrs/Maitcomp/compilation_b.pdf
 
* http://users.info.unicaen.fr/~karczma/matrs/Maitcomp/compilation_b.pdf
Line 658: Line 781:
 
asynchronous external devices.
 
asynchronous external devices.
 
</blockquote>
 
</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]]

Revision as of 15:34, 13 May 2013

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 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 here. Also, some news were added during the 2006-2007 academic year.

Contents

1 Suitable Course Textbooks

See Books#Textbooks.

2 Haskell as a first language

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

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


Instructor: Rex Page University of Oklahoma
Course: Introduction to Computer Programming
Student background: High-school mathematics
Materials: Projects, Exams, Downloadable textbook: Rex Page, "Two Dozen Short Lessons in Haskell"
Web page: http://www.cs.ou.edu/~rlpage/fpclassSpring97/

Comments:

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.

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.

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.

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.

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.


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


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

Instructor: " Jan Prins UNC Chapel Hill
Course: Introduction to Functional Programming
Student background: solid background in high-school science and mathematics
Materials: Hugs 1.4 incl. Active Haskell, FRAN and Haskore; Simon Thompson, "Haskell: The Art of Functional Programming"
Web page: http://www.cs.unc.edu/~prins/Classes/15/
Comments:

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


Instructor: David Sands University of Gothenburg & Chalmers University of Technology
Course: Programmering för Naturvetare
Student background: New students
Materials: hugs 1.4; Simon Thompson
Web page: http://www.md.chalmers.se/Cs/Grundutb/Kurser/nptah/
Comments:

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.


Instructor: Marcos A Rodrigues The University of Hull, Hull, UK
Course: Functional and Logic Programming
Student background: none
Materials: hugs 1.4; Haskell: the Craft of Functional Programming. Thompson S., Addison Wesley, 1996.

Instructor: Torsten Grust University of Konstanz (Germany)
Course: Deklarative Programmierung (Declarative Programming, in german)
Student background: basic math, no programming background required
Materials: 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
Web page: http://www.fmi.uni-konstanz.de/dbis/Courses-old/Courses-ss98/decl-ss98.html
Comments:

The course is in German only (sorry about that). It additionally features an introduction to logical programming and Prolog.


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


Instructor: Robert Giegerich, Stefan Posch, University Bielefeld, Germany
Course: Introduction to Computer Science
Student background: Completed High School (Abitur)
Materials: Hugs; Class Notes by Robert Giegerich and Ralf Hinze
Comments:

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.


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


Instructor: [mailto:Clem.Baker-Finch@cs.anu.edu.au Clem Baker-Finch, Australian National University
Course:Introduction to Programming and Algorithms
Student background: No programming background was assumed.
Materials: GHC, GHCi, Simon Thompson 1st ed., my own materials.
Web page: http://cs.anu.edu.au/Student/comp1100/
Comments:

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/


Instructor: Lyndon While The University of Western Australia
Course: Foundations of Computer Science
Student background: None
Materials: hugs 98; Thompson.
Web page: http://undergraduate.cs.uwa.edu.au/courses/230.123


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


3 Haskell as a second language

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

Instructor: Rex Page University of Oklahoma
Course: Discrete Mathematics
Student background: High-school mathematics, introductory programming course (any language)
Materials: Lecture notes, Projects, Exams, Solutions, Proof checking tools, etc.; text: Hall and O'Donnell, "Discrete Mathematics with a Computer"

Web page: http://www.cs.ou.edu/~beseme/
Comments:

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

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.

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.


Instructor: Jose Emilio Labra Gayo, Dept. of Computer Science (EUITIO) University of Oviedo
Course: Logic and Functional Programming
Student background: 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++
Materials: Hugs; R. Bird "Introd. to FP using Haskell" (2nd Ed), J. E. Labra Gayo. "Introduction to the Haskell Language" (in spanish).
Web page: http://lsi.uniovi.es/~labra/plf.html (in spanish).

My FP page: http://lsi.uniovi.es/~labra/FuncProg.html


Instructor: Fritz Ruehr Willamette University, Salem, Oregon, USA (a small Liberal Arts College, about 1 hour from Portland & OGI)
Course: CS 451 Topics in Computer Science: Functional Programming
Student background: Data structures (I may also have required discrete math)
Materials: 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)
Web page: http://www.willamette.edu/~fruehr/451/
Comments:

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.


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


Instructor: Chris Lengauer University of Passau
Course: Functional Programming
Student background: two years of CS study
Materials: hugs; Richard Bird's new text (PHI)
Web page: not reachable from outside Passau


Instructor: Conrad Cunningham University of Mississippi
Course: Functional Programming
Student background: official -- senior or graduate standing; actual -- introductory programming, data structures, and discrete math
Materials: 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
Web page: http://www.cs.olemiss.edu/~hcc/csci555/
Comments:

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.


Instructor: Gary T. Leavens, Iowa State University
Course: Programming Languages 1
Student background: undergraduate course in compilers or programming languaages
Materials: Hugs 1.4; Thompson's Haskell: The Craft of Programming
Web page: http://www.cs.iastate.edu/~leavens/ComS541.html
Comments:

Be sure to tell your students how to debug programs.


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

Instructor: Olaf Chitil, RWTH Aachen, Germany
Course: Functional Programming in Haskell
Student background: basic programming skills (not necessarily in a functional language)
Materials: 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.
Web page: http://www-i2.informatik.rwth-aachen.de/Praktikum/SWP/ (in German)
Comments:

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.


Instructor: Richard Bird, Oxford Brookes University
Course: Functional Programming
Student background: Elementary structured programming
Web page: http://web.comlab.ox.ac.uk/oucl/courses/topics00-01/fp/


Instructor: Paul Hudak, Yale University, Dept of Computer Science
Course: Functional Programming
Student background: at least one programming course
Materials: Hugs; my own textbook, which is under preparation
Web page: none


Instructor: Alex Ferguson University College Cork
Course: Functional and Logic Programming
Student background: Final year undergraduate
Materials: Final year undergraduate Materials: Hugs 98; ghc; Simon Thompson, "Haskell: The Craft of Functional Programming" (2nd ed.)
Web page: http://yeats.ucc.ie/~abf/CS4001/
Comments:

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.


Instructor: Leif Kusoffsky, Royal Institute of Technology, Stockholm
Course: Functional Programming 2D1370
Student background: 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
Materials: Hugs; Hudak : The Haskell School of Expression


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


Instructor: Antti-Juhani Kaijanaho University of Jyväskylä
Course: Functional Programming 1 & 2
Student background: third-year undergraduate and up
Materials: GHC, Gtk2HS
Web page: [1]
Last run: 2005–2006

Instructor: David Duke University of Leeds, School of Computing
Course: Functional Programming
Student background: Second and third year undergraduate
Materials: ghc; Graham Hutton "Programming in Haskell"
Web page: www.comp.leeds.ac.uk/se23/
Comments:

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.

Instructor: Popa V. Dan University of Bacau, Romania
Course: "Limbaje formale si automate" (Formal languages and automata)
Student background: second-year undergraduate
Materials: Hugs 98 (2002 revised version) included in Mandriva (Formely Mandrake) 10.0 Linux Distribution
Web page: Not yet. Try the page of the "ro" community on www.haskell.org
Ro/Haskell webpage is here
First run: 2006–2007

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


List of Instructors: Involved people [1] National and Technological University, Buenos Aires, Argentina (Universidad Tecnológica Nacional - Facultad Regional Buenos Aires)
Course: Programming Paradigms
Student background: This is a second-year undergraduate course. Students have already been introduced to basic structured programming concepts.
Materials: Pharo Smalltalk; LOOP [2] , SWI-Prolog, Hugs, GHC, "Learn You a Haskell For a Great Good" (Spanish Version), Lecture Notes, Exams.
Web page: You can find our homepage in here (Only Spanish Version).

Students are being introduced to three main programming paradigms:

• Object Oriented Programming
• Logical Programming
• Functional Programming


4 Comparative programming languages

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

Instructor: Ruediger Marcus Flaig, University of Heidelberg (Germany)
Course: An introduction to programming in bioinformatics
Student background: different, but generally low
Materials: Hugs-98 and lots of other stuff
Web page: http://www.sanctacaris.net/rc.html
Comments:

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.


Instructor: Hamilton Richards, University of Texas (Austin)
Course: Programming Languages (taught in 2005)
Student background:
Materials: Hugs 1.4; Sethi, Davie.
Web page: http://www.cs.utexas.edu/users/ham/UTCS/CS345/
Comments:

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


Instructor: Mark Utting University of Waikato (New Zealand) Course: Programming Languages
Student background: Two years of C++ and 1 year of Haskell
Materials: Textbook "Programming Languages", Louden. Web page: http://www.cs.waikato.ac.nz/~marku/313
Comments:

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

Instructor: M Zeeshan Ali Ansari, Asia Pacific Institute of Information Technology (Pakistan)
Course: Advanced Programming Language Concepts
Student background: Students having studied and worked on Imperative Programming Languages
Materials: The Craft of Haskell, A Gentle Introduction to Haskell, Yet Another Haskell Tutorial.
Web page: http://www.apiit.edu.pk
Comments:

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

Instructor: John C. Mitchell, Stanford University
Course: Programming Languages
Student background: Some experience with Lisp/C/object-oriented languages.
Materials: Concepts in Programming Languages (new Haskell chapters written with Kathleen Fisher)
Web page: http://cs242.stanford.edu
Comments:

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.

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

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

Instructor: John Hughes Chalmers University, Gothenburg
Course: Advanced Functional Programming
Student background: General CS maturity; from this year most students have already used Haskell in introductory courses.
Materials: Mainly hbc.; Papers (see web page)
Web page: http://www.cs.chalmers.se/~rjmh/AFP
Comments:

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.


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


Instructor: Lyndon While The University of Western Australia
Course: Functional Programming
Student background: OOP, plus most of them have used Haskell previously
Materials: hugs 98; none of the recent books really fit
Web page: http://undergraduate.cs.uwa.edu.au/courses/230.301
Instructor: Fethi Rabhi, University of Hull (UK)
Course: AI Problem Solving Techniques (using Haskell and Prolog)
Student background: Haskell and Prolog programming
Materials: HUGS; Thompson'96, own notes (soon to be published as a book).
Web page: none
Comments:

It is very hard to justify learning Haskell unless it can be demonstrated in very practical situations (hence the provision of the above course).


Instructor: Jerzy Karczmarczuk University of Caen, Caen (France)
No links in the fr-Haskell page. Why not ? Course: Compilation
Student background: General CS knowledge; students (should...) know Scheme and imperative languages, also some theory of languages and automata.
Materials: Hugs, GHC, now also GHCi, and their documentation. Handouts: (still a little incomplete) Impossible to find the foolowing matterials.Files can not be found.

Comments:

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.


Instructor: Jeffrey A. Meunier, University of Connecticut
Course: CSE240 Intermediate Computer Systems
Student background: computer/microprocessor organization
Materials: Hugs (Feb 2001); Bird ``Introduction to Functional Programming; Furber ``ARM System-on-Chip Architecture
Web page: http://www.engr.uconn.edu/~jeffm/Classes/CSE240-Spring-2001/index.html
Comments:

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.

Instructor: Gabriele Keller The University of New South Wales
Course: Concepts of Programming Languages
Student background: Most of them have used Haskell in first year
Materials: GHC, TaPL and `Programming Languages: Theory and Practice', papers
Web page: http://www.cse.unsw.edu.au/~cs3161
Last run: 2006
Comments:

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.

Instructor: Manuel Chakravarty The University of New South Wales
Course: Advanced Functional Programming
Student background: Most of them have used Haskell in first year
Materials: GHC, papers (see the website)
Web page: http://www.cse.unsw.edu.au/~cs4132
Last run:2004
Comments:

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.