Einar W. Karlsen
Information:
I am responsible for the design and implementation of the Uniform
Workbench - an Integration Framework providing its services in the lazy
functional programming language Haskell. The WorkBench provides support
for data, control and presentation integration, so that integrated
Software Development Environments can be constructed from the basis of
prefabricated, off-the-shelf components. We are currently using the
WorkBench to construct integrated environments for Haskell program
development and for specification and proof of Z specifications.
The Integration Framework consists, at the time of writing, of
approximately 40K LOC Haskell and C code. In other words, it is the
second largest Haskell application around the world. We are currently
in the phase of documenting the tools - so stay tuned if this is of
interest, or send me a mail.
My hotlist is a little bit out of date. You will probably find more interesting
stuff by following the link to Scotland.
New Address:
Since December 1998 I am with Rational Software GmbH in Munich. My new address is:
E-mail: ekarlsen@rational.com
Address: Einar W. Karlsen
Rational Software GmbH
Keltenring 15
D-82041 Oberhaching
Germany
Phone: +49 613 62838-250
By Einar W. Karlsen, last update August, 1999