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:
- Bringing Down the Cost of Verification (SkillsCast recorded in April 2016)
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- FP in Kotlin with Arrow with Jorge Castillo (Online Course on 27th - 30th July 2021)
- F# eXchange 2021 (Online Conference on 20th - 21st October 2021)
- ScalaCon 2021: November Edition (Online Conference on 2nd - 5th November 2021)
- Abstract Fun-sense: a functional perspective on life (SkillsCast recorded in May 2021)
- Journey to the Centre of the JVM (SkillsCast recorded in May 2021)
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.