Please log in to watch this conference skillscast.
The powerful type system features, in particular, make it possible to maintain type information of the embedded language expression during the whole compilation phase. While maintaining the type information does not come for free, this extra effort is in our experience well worthwhile.
In this talk, Gabriele will use the in Haskell embedded language Accelerate as case study to show, among others, how to make many of the host language features, like pattern matching and variable binding, available in the embedded language without compromising efficiency.
YOU MAY ALSO LIKE:
Keynote: Haskell is a Great Host
Gabriele Keller has recently been appointed as chair of the Software Technology Group at Utrecht University. Before moving to the Netherlands, she co-founded the Programming Languages & Systems Group at the University of New South Wales, and was a Principal Researcher at Data6 (formerly NICTA) in the Trustworthy Systems project.