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 awardwinning, 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

 Haskellbased 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 logicbased validation 