lambda calculus

The rapid descent of the weather towards winter is getting people to stay in and code and long may it continue given the quality of this week's releases: OmniAuth 1.0, MagLev 1.0, and Ruby 1.9.3, for starters!

A Lambda Calculus for Real Analysis

Barry Jay has recently published a book on the Pattern Calculus (which has been discussed before).

Causal Commutative Arrows and Their Optimization, Hai Liu.

Eric Cheng. Paul Hudak. ICFP 2009.

Lambda calculus as animated alligators and eggs.

Virtually guaranteed to turn any 4 year old into a PLT geek.

The non-animated game was mentioned previously on LTU here.

Here's a little light reading for your day-after-Labor-Day (or whatever yesterday was where you live): Unchecked Exceptions can be Strictly More Powerful than Call/CC, Mark Lillibridge and Olivier Danvy, 1999, Higher-Order and Symbolic Computation.

Functional Netlists, Sungwoo Park, Jinha Kim, Hyeonseung Im.

ICFP 2008.

By now there is an extensive network of interlocking analogies between physics, topology, logic and computer science, which can be seen most easily by comparing the roles that symmetric monoidal closed categories play in each subject.

However, symmetric monoidal categories are just the n = 1, k = 3 entry of a hypothesized “periodic table” of k-tuply monoidal n-categories.

This raises the question of how these analogies extend.

Parametric Higher-Order Abstract Syntax for Mechanized Semantics

Uniqueness Typing Simplified, by Edsko de Vries, Rinus Plasmeijer, and David M.

Abrahamson.