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.
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.