Recursion Schemes in Haskell
Channel: Bucharest FP
Date: 28/02/2019

## Traian Florin Șerbănuță — Recursion Schemes in Haskell

## ABSTRACT
Let's explore "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire"* (or how basic knowledge of abstract algebra can help you develop patterns for recursion) together. The talk will assume knowledge of Haskell syntax, type definitions, some familiarity with type eliminators (e.g. maybe, either, folds).

(*) http://maartenfokkinga.github.io/utwente/mmf91m.pdf

## BIOGRAPHY
Traian Florin Șerbănuță is an associate professor of computer science at the University of Bucharest. Traian completed his Ph.D. at UIUC, working with Grigore Rosu on the first prototype of K, which serves as a basis for the semantics-based execution and semantics-based program verification tools developed by RV, Inc. Additionally, Traian designed a maximal causal model for sequential consistency which serves as a basis for runtime verification of concurrent programs in tools such as RV-Predict. Traian currently works at RV as the K and Haskell Backend Development Lead.