How Requirements from the Old World Make Erlang Fit into the New World
Apr 05, 2014
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.
A Practical Theory of Language-integrated Query
Mar 30, 2014
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.
Programming, Only Better
Mar 19, 2014
Bodil Stokke keynotes on the FP languages for writing bug free, fault tolerant code that help building simple, concurrent and reusable software.
Excel Coding Errors Are Destroying World Economies and F# (with Tsunami) Is Here to Stop Them!
Mar 05, 2014
Matthew Moloney discusses using F# and .NET inside Excel, demonstrating doing big data, cloud computing, using GPGPU and compiling F# Excel UDFs.