| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Applications (II)  | Lula: based on an algebra of theatre lighting
Michael Sperber at Universitat Tubingen has developed a successful theatre lighting program based on abstract notions of cues, fixtures, intensities, pan/tilt, etc. a paper describing Lula and its algebra |
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Applications (II)  | Lula: based on an algebra of theatre lighting
|
| | An algebra of financial contracts
Peyton Jones, Eber and Seward have developed an award-winning, abstract approach to specifying financial contracts based on abstract notions of time, choice, obligation and currency
a PowerPoint presentation on the contract system |
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Applications (II)
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Applications (II)
| Willamette Mathematics Colloquium • Fall 2002 |
Haskell Applications (II) | | Lula: based on an algebra of theatre lighting
|
| | An algebra of financial contracts
|
| | The Vital visualization tool for Haskell
|
| | The Alfa proof editor
|
| | Haskell-based hardware simulation (NSW, Ruby, Hawk)
a number of different groups around the world have used Haskell and other functional languages to model hardware (chips) and perform logic-based validation |