Older rss

How Requirements from the Old World Make Erlang Fit into the New World

Posted by Robert Virding  on  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

Posted by Philip Wadler  on  Mar 30, 2014 1

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

Posted by Bodil Stokke  on  Mar 19, 2014 4

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!

Posted by Matthew Moloney  on  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.


Introduction to Concurrent Haskell

Posted by Simon Marlow  on  Mar 11, 2013

Simon Marlow introduces some of the main features of Concurrent Haskell: forking threads, MVars, asynchronous I/O, simple inter-thread protocols.


Functional DSLs for Biocomputation

Posted by Colin Gravill  on  Mar 08, 2013 2

Colin Gravill talks about how using F# to construct a shared analysis engine and the languages used to make the individual tools.


Clojure, Functional Programming and Data at

Posted by Paul Ingles  on  Mar 04, 2013

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.


Leiningen 2 - Humane build management for Clojure

Posted by John Stevenson  on  Feb 18, 2013

John Stevenson introduces Leiningen 2, a build system for Clojure, explaining how to set it up and how to use it.


Zen and the Art of Live Programming

Posted by Sam Aaron  on  Feb 11, 2013

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.


What They Don’t Teach You About Running a Business When Taking Your CS Degree

Posted by Francesco Cesarini  on  Feb 08, 2013

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.

An Introduction to Logic Programming on the JVM with core.logic (Clojure)

Posted by Edmund Jackson  on  Jan 28, 2013

Edmund Jackson discusses the Goals, Logic Variables, Constraints, and Compositions that form the foundation of Logic Programming using Clojure examples.

Reverend Bayes, Meet Countess Lovelace: Machine Learning and Programming

Posted by Andy Gordon  on  Jan 22, 2013 1

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.

General Feedback
Editorial and all content copyright © 2006-2013 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy