| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Opportunities at Home and Abroad  | Functional Programming, CS 454
I teach a one-semester course in functional programming (using Haskell) every two years at Willamette
(offered in Spring of 2003 on MWF 10:20-11:20, lab MW 3:00-4:30) |
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Opportunities at Home and Abroad  | Functional Programming, CS 454
|
| | A gateway to the mathematics of programming
• study of functional programming opens up the door to a variety of mathematical topics in Computer Science: • alternative foundations for computability (lambda calculus) • denotational semantics (formal meanings for programs via fixed-points) • type theory and intutionistic logic (a "typed set theory" with a constructive flavor) • category theory (an abstract approach to algebra treating structure generically) |
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Opportunities at Home and Abroad | | Functional Programming, CS 454
|
| | A gateway to the mathematics of programming
|
| | PacSoft Research at the Oregon Graduate Institute
a world-renowned research group at OGI focuses on functional programming, formal methods and Haskell
the PacSoft home page (I sometimes also attend a Tuesday morning research seminar there) |
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Opportunities at Home and Abroad
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Opportunities at Home and Abroad | | Functional Programming, CS 454
|
| | A gateway to the mathematics of programming
|
| | PacSoft Research at the Oregon Graduate Institute
|
| | Galois Connections, Inc.
|
| | Opportunities for Graduate Study
many top-flight graduate schools have programs and projects based on functional programming and related ideas
US schools: OGI, OSU, Yale, Indiana, Stanford, Carnegie Mellon, MIT, University of Washington, UC Berkeley, and many others
international schools: Oxford, Glasgow, Chalmers, Nottingham, Kent, York, Edinburgh, Utrecht, Glasgow, INRIA (France), New South Wales, and others |