Lennart Augustsson
Lennart Augustsson is currently employed at Standard Chartered Bank in London.
During his career he has done different things, e.g., writing about four Haskell compilers, written USB device drivers, winning the International Obfuscated C Code Co
Talks I've Given
-
Keynote from Lennart Augustsson - Giving Haskell Types to a Relational Algebra Library in C++
Featuring Lennart Augustsson
In this talk, Lennart will show how to design a strongly typed interface to an external library. The external library has some rather complex, dynamically checked, types. Making a strongly typed, easy-to-use version of the API uses several Haskell type system extensions, e.g., type level strings,...
haskell types strongly-typed haskellx ghc -
Making EDSLs fly
Featuring Lennart Augustsson
In this talk, Lennart will show how to implement a toy EDSL (Embedded Domain Specific Language) in Haskell. First, we will look at how to get a typed DSL embedded in Haskell. Second, we will consider executing such a language using an interpreter. Finally, we will use the LLVM bindings to...
haskell functional-programming
