Re: [Haskell-cafe] Lecture Notes Advanced Functional programming available
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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Lecture Notes Advanced Functional programming available
$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 doai...@swierstra.net 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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Lecture Notes Advanced Functional programming available
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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe