Andrew Appleyard
University of New South Wales

Title: Salsa dancing with .NET in Haskell

Libraries are essential for software development in any programming
language.  In this talk I present 'Salsa', a library that allows native
Haskell programs to access the extensive collection of libraries
provided by the .NET framework.

The mixture of subtype polymorphism and method overloading in .NET's
object model makes exposing .NET libraries in Haskell difficult,
especially if both type-safety and a convenient syntax are desired.  A
distinguishing feature of Salsa is its use of type families to solve
this problem by implementing algorithms, for method overload resolution
and implicit conversions, at the type-level using type functions.