Experimental
Here is automatically generated list of links fromindex.html
The smiley indicates whether the link works or not. (Mail and ftp link tests don't work properly. The http link test fails in some cases although the link works.)
- Introduction to Computing Science Research
- introductory course
- Contents of the course
- Schedule for the lectures
- Exercises and examination
- Suggested reading
- Other web pages of interest
- Haskell
- HBC
- Fudgets
- Lennart Augustsson
- Cayenne
- Koen Claessen
- Lava
- Magnus Carlsson
- Carlos Gonzalia
- The Role of Lazy Evaluation in Amortized Data Structures
- Chris Okasaki
- Qiao
- How to make ad-hoc polymorphism less ad hoc.
- Philip Wadler
- Type classes: exploring the design space
- Simon Peyton
- TH
- Fudgets
- Koen C
- Lava
- Magnus C
- Lennart A
- Cayenne
- TH
- TH
- Fudget plumbing
- More info
- Polytypism
- ICFP'98
- Cayenne -- a Language with Dependent Types
- Lennart Augustsson
- Lava: Hardware Design in Haskell
- Per Bjesse
- Koen Claessen
- Mary Sheeran
- Pragmatic Subtyping in Polymorphic Languages
- Johan Nordlander
- A Type Based Sharing Analysis for Update Avoidance and Optimisation
- Jörgen Gustavsson
- A Theory of Core Fudgets
- Colin Taylor
- Why Functional Programming Matters
- John Hughes
- On Understanding Types, Data Abstraction, and Polymorphism
- Luca Cardelli
- How to make ad-hoc polymorphism less ad hoc.
- Philip Wadler
- Fudgets - A Graphical User Interface in a Lazy Functional Language
- Magnus Carlsson
- Thomas Hallgren
- Type classes: exploring the design space
- Simon Peyton
- Reactive Objects in a Functional Language -- An escape from the evil ``I''.
- Johan Nordlander
- Magnus Carlsson
- Functional Reactive Animation
- Conal Elliott
- Paul Hudak
- ICFP'97
- Fudgets - Purely Functional Processes with applications to Graphical User Interfaces
- Magnus Carlsson
- Thomas Hallgren
- Tutorial Papers in Functional Programming
- The intro course page
- Cayenne
- Fudgets
- Reference Manual
- Fran
- Haskell
- The Haskell Bookshelf
- HBC
- HBC Libraries
- Lava
- Polytypism
- SEL-HPC Functional Programming Archive
- 1st
- 3rd
- Advanced Functional Programming
- Links