Research papers on Advanced Functional Programming?
Hello I will soon give a course in Advanced Functional Programming at Stockholm University and for this course I am selecting a few research papers. Therefore I ask you: What would be _your_ choice of 5-10 research papers for an advanced (senior graduate/D- level) course on functional programming? Criteria are perhaps something like: 1) the paper addresses central aspects of modern advanced functional programming; and 2) it is suitable for senior graduates (or at least a significant part of the paper is). My particular course, which assumes discrete maths, logic, data structures & algorithms, and a previous course on functional programming, is oriented mostly towards type theory (typed lambda calculi), type classes, monads, and generic programming, but I am curious to what is your general opinion about what papers you think are adequate for this kind of course. As far as I know there is no obvious choice of textbook for this kind of course, although there are of course several volumes emitted from the AFP summer schools. Yours Sincerely, Johan Glimming
On 23 Mar 2005, at 21:50, Johan Glimming wrote:
I will soon give a course in Advanced Functional Programming at Stockholm University ... As far as I know there is no obvious choice of textbook for this kind of course, although there are of course several volumes emitted from the AFP summer schools.
<plug> Don't forget "The Fun of Programming" (Jeremy Gibbons and Oege de Moor, editors), which is specifically intended to be a textbook for an advanced course on functional programming. http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ index.html#fop </plug> Jeremy Jeremy.Gibbons@comlab.ox.ac.uk Oxford University Computing Laboratory, TEL: +44 1865 283508 Wolfson Building, Parks Road, FAX: +44 1865 273839 Oxford OX1 3QD, UK. URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html
participants (2)
-
Jeremy Gibbons -
Johan Glimming