Lambda Days 2017

Keynote: Why Functional Programming Matters - John Hughes, Mary Sheeran (Lambda Days 2017)

The Thrilling Adventures of Lovelace, Babbage & the Analytical Engine - Sydney Padua

Building the systems of tomorrow - Txus Bach (Lambda Days 2017)

Detecting Recursion Schemes in Haskell Functions (...) - Adam D. Barwell (Lambda Days 2017)

Automatically Deriving Cost Models for Structured Parallel Processes(...) - Kevin Hammond

Smart Spreadsheets - Enzo Alda (Lambda Days 2017)

On the paradigm of functional programming - Stanislaw Ambroszkiewicz (Lambda Days 2017)

Testing with mutants - Jan Stępień (Lambda Days 2017)

Practical Lambda Calculus - Jonas Winje, Einar Høst (Lambda Days 2017)

GenStage and Flow - José Valim (Lambda Days 2017)

Building a Graphical IDE in Elm/Purescript (...) - Claudia Doppioslash (Lambda Days 2017)

A song of types and errors (...) - Valentin Kasas (Lambda Days 2017)

Fast Neural Networks… a no brainer! - Riccardo Terrell (Lambda Days 2017)

A Practical Introduction to Akka Streams - Jacek Kunicki (Lambda Days 2017)

Keeping the flow going: Data-flow oriented workflow systems - Annette Bieniusa (Lambda Days 2017)

Elixir and money - Tomasz Kowal (Lambda Days 2017)

I can haz no Futures? - Michał Płachta (Lambda Days 2017)

Taming the Asynchronous Beast with CSP Channels in JavaScript - Vincenzo Chianese (Lambda Days 2017)

Futhark: A High-Performance Purely Functional Array Language - Troels Henriksen (Lambda Days 2017)

(...) How to turn (Liquid) Haskell into a theorem prover - Niki Vazou(Lambda Days 2017)

Erlang-based Desynchronised Urban Traffic Simulation (...) - Wojciech Turek (Lambda Days 2017)

Implementing Event-Driven Microservices Architecture (...) - Nikhil Barthwal (Lambda Days 2017)

Augmenting Existing Procedural HPC Application Codes(...)- Daniel Rubio Bonilla(Lambda Days 2017)

The Dramatic Consequences of the Open Source Revolution (...) - Heather Miller (Lambda Days 2017)

Full Stack Type-safety: Elm with Scala - Choucri Fahed (Lambda Days 2017)

What Orwell's 1984 Can Teach Us about Programming - Daniel Beskin (Lambda Days 2017)

Free the Conqueror! (Refactoring divide-and-conquer functions) - Tamás Kozsik (Lambda Days 2017)

Functional programming guerilla in the land of Rust - Tomasz Barański (Lambda Days 2017)

Keynote: Build Good Software: Of Politics and Methods - Brian L. Troutwine (Lambda Days 2017)

Some History of Functional Programming Languages - David Turner (Lambda Days 2017)

Going bananas with recursion schemes for fixed point data types - Paweł Szulc (Lambda Days 2017)

The Origins of Free - Adam Warski (Lambda Days 2017)

Using Clojurescript to launch iOS/Android apps to 1M users - Emin Hasanov (Lambda Days 2017)

Keynote: Embodied Interactions - Wiesław Bartkowski (Lambda Days 2017)

That's My Monkey (...) - Rob Martin (Lambda Days 2017)

Distributed Computing challenges in the gaming & betting industry - Suavek Zając(Lambda Days 2017)

Building a security testing service with F# - William Blum (Lambda Days 2017)

Wireless Small Embedded Erlang Applications (...) - Peer Stritzinger (Lambda Days 2017)

Lightning Talks - Lambda Days 2017