November 2014 : Less power ⇒ more possibilities

Peter and I gave this talk at CodeMesh 2014. It's another talk featuring Lucid, our DSL for describing financial products and trading strategies, but this time we focus on the benefits gained by making Lucid a highly restricted language. Benefits such as being platform agnostic, runtime efficiency and bounded space/time usage for scheduling on a massively parallel compute grid.

Download
preview

October 2014 : Structural Typing for Structured Products

In this talk, given at the Haskell Exchange 2014, Peter Marks and I walk through the motivation that led us towards using row-polymorphism and extensible records/cases in our DSL, Lucid, for describing financial products and trading strategies.

Download
preview

December 2013 : Exotic Tools for Exotic Trades

The Functional Payout Framework is a mature and successful software platform supporting the vast majority of the equity derivatives business within Barclays. The slides for this talk, given at CodeMesh 2013, introduce the project and retrospectively review some of the ideas and techniques that have been used to date.

Download
preview

March 2013 : Recursion Schemes by Example

In this talk, given to the London Haskell Users Group, I explored both the theory and practice of various recursion schemes applied to real world problems. I also demonstrated how to achieve compositional data-types and data-type generic programs by modelling recursive types as fixed points of functors. The slides feature an abundance of code, starting with simple list examples and quickly moving on to more advanced topics, such as program analysis, optimisation, memoization, templating and more. The literal haskell source can be found here.

Download
preview

October 2011 : Git Essentials

A fast and technical overview of the distributed version control system known as Git; hopefully showing what the fuss is about.

Download
preview