Maxwell is a software engineer at NICTA where he does functional programming. In his spare time, he works on Haskell projects usually concerning construction of EDSLs and code generation.
Talks I've Given
Extended Uses of Template Meta programming
Featuring Maxwell Swadling
Template Haskell is usually associated with reducing boilerplate or code generation. However, it is also a powerful tool for problem solving with a type system. We discuss using Template Haskell to construct proofs, infer function implementations and create interesting data structures at compile...practice