Lecture Notes Advanced Functional programming available

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Lecture Notes Advanced Functional programming available

S. Doaitse Swierstra
I am happy to announce that the rworked lecture notes for the 6th  
Advance Functional programming summer school have become available.

For further information about the lecture notes:

  http://www.springer.com/computer/programming/book/978-3-642-04651-3?cm_mmc=NBA-_-Oct-09_EAST_4063641-_-product-_-978-3-642-04651-3

Contents:
        • Umut Acar (Toyota Technological Institute, University of Chicago,  
USA): Self-Adjusting Computation
        • Richard Bird (University of Oxford, UK): Spider Spinning
        • Olivier Danvy (University of Aarhus, DK): On deriving abstract  
machines from interpreters and calculi
        • Johan Jeuring (Utrecht University, NL): Libraries for Generic  
Programming in Haskell
        • Ulf Norell (Chalmers University, SE): Dependently Typed Programming  
in Agda
        • Simon Peyton Jones and Satnam Singh (update) (Microsoft Research,  
UK): Parallel Functional Programming
        • Rinus Plasmeijer (Radboud University Nijmegen, NL): Specifying  
Interactive Workflows for the Web

Doaitse


_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Lecture Notes Advanced Functional programming available

Sean Leather
 
I am happy to announce that the rworked lecture notes for the 6th Advance Functional programming summer school have become available.
 
Thanks, Doaitse.
 
       • Johan Jeuring (Utrecht University, NL): Libraries for Generic Programming in Haskell

An extended version of this article is available as a technical report:

  http://www.cs.uu.nl/research/techreps/UU-CS-2008-025.html

It introduces the concepts of datatype-generic programming using the libraries LIGD, SYB, and EMGM and compares them. There's also an additional section not in the published lecture notes on type-indexed datatypes with type families. You can even do the exercises in the lecture notes and check out the solutions in the tech report.

Regards,
Sean

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Lecture Notes Advanced Functional programming available

Warren Henning
In reply to this post by S. Doaitse Swierstra
$83 and "3-4 weeks" for a 300 page book? Oy vey.

Warren

On Fri, Oct 16, 2009 at 7:24 AM, S. Doaitse Swierstra
<[hidden email]> wrote:
> I am happy to announce that the rworked lecture notes for the 6th Advance
> Functional programming summer school have become available.
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Lecture Notes Advanced Functional programming available

Heinrich Apfelmus
Warren Henning wrote:
> $83 and "3-4 weeks" for a 300 page book? Oy vey.

Yeah, I'm not going to buy it. :(


Regards,
apfelmus

--
http://apfelmus.nfshost.com

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe