Andrew Lelechenko "Backtracking Interleaving and Terminating Monad Transformers"

Are you going?

85 spots left

Share:

The Office Group - Albert House

256 -260 Old St · London

How to find us

Just outside Old Street https://goo.gl/maps/m6qMVAEQo4P2 256-260 Old Street EC1V 9DD

Location image of event venue

Details

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: http://okmij.org/ftp/papers/LogicT.pdf

Who?

Andrew (https://github.com/Bodigrim) 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.

Where?

The Office Group - Albert House[masked] Old Street
EC1V 9DD
https://goo.gl/maps/m6qMVAEQo4P2
The nearest tube station is Old Street.

What?

• 6.30pm: snacks and drinks (kindly sponsored by Droit https://droit.tech)
• 7:00pm: presentation starts
• 8:00pm: presentation end

Meetup are captured on video and uploaded on the PWL London Youtube channel https://www.youtube.com/channel/UCEYe-1uDIkjPtuH_qhoybnA