Maxwell Swadling
Expert Overview
Things I'm Doing
Talks I've Given
Software engineerNICTA
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