Robert Virding describes how Erlang was developed to solve the concurrency and reliability requirements of telecommunications, dealing with challenges that are similar with those of cloud computing.
Philip Wadler presents a practical theory of language-integrated query based on quotation and normalization of quoted terms and a theorem guaranteeing that a host query generates a single SQL query.
Bodil Stokke keynotes on the FP languages for writing bug free, fault tolerant code that help building simple, concurrent and reusable software.
Matthew Moloney discusses using F# and .NET inside Excel, demonstrating doing big data, cloud computing, using GPGPU and compiling F# Excel UDFs.
Simon Marlow introduces some of the main features of Concurrent Haskell: forking threads, MVars, asynchronous I/O, simple inter-thread protocols.
Colin Gravill talks about how using F# to construct a shared analysis engine and the languages used to make the individual tools.
Paul Ingles explains how Clojure’s approach to immutable data has helped uSwitch to treat everything as data and build many tools that operate on the same data without contention.
John Stevenson introduces Leiningen 2, a build system for Clojure, explaining how to set it up and how to use it.
Sam Aaron promotes the benefits of Live Programming using interactive editors, REPL sessions, real-time visuals and sound, live documentation and on-the-fly-compilation.
Francesco Cesarini shares business lessons learnt while growing Erlang Solutions from a one man band to a multinational company with 70 employees, offices in 3 countries, and clients on 5 continents.
Edmund Jackson discusses the Goals, Logic Variables, Constraints, and Compositions that form the foundation of Logic Programming using Clojure examples.
Andy Gordon discusses machine learning using functional programming, explaining how Infer.NET Fun turns the succinct syntax of F# into an executable modeling language for Bayesian machine learning.