Andrew Lelechenko "Backtracking Interleaving and Terminating Monad Transformers"

Papers We Love - London
Papers We Love - London
Public group

The Office Group - Albert House

256-260 Old Street · London

How to find us

Just outside Old Street 256-260 Old Street EC1V 9DD

Location image of event venue


Papers We Love London October Meetup hosts Andrew Lelechenko presenting the functional pearl: "Backtracking, Interleaving, and Terminating Monad Transformers" by Kiselyov, Shan, Friedman and Sabry. The paper describes a library for adding backtracking computations to any Haskell monad, with features inspired by logic programming.

Please read the paper here:


Andrew ( is a software developer from London with a strong background in mathematics and computer science. After receiving his PhD degree, he went into industry and ended up developing a compiler of the domain-specific language for finance and trading, implemented in Haskell. His main open-source contributions are mathematical libraries with a focus on performance.


The Office Group - Albert House[masked] Old Street
The nearest tube station is Old Street.


• 6.30pm: snacks and drinks (kindly sponsored by Droit
• 7:00pm: presentation starts
• 8:00pm: presentation end

Meetup are captured on video and uploaded on the PWL London Youtube channel