Barry Jay has recently published a book on the Pattern Calculus (which has been discussed before ).
The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions.
The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in object-orientation.
By contrast, a small typed...
Monads in Action
Monads in Action, Andrzej Filinski, POPL 2010. In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an...
Causal Commutative Arrows and Their Optimization
Causal Commutative Arrows and Their Optimization, Hai Liu. Eric Cheng. Paul Hudak. ICFP 2009. Arrows are a popular form of abstract computation. Being more general than monads, they are more...
Oh no! Animated Alligators!
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.
1 GB SanDisk MicroSD TransFlash Memory Card (Bulk)
The MicroSD card is based on TransFlash, which was developed by SanDisk in cooperation with Motorola and is the worlds smalles flash memory card form factor.
Sound Forge 9
Sound Forge 9 is the industry standard for editing and production. Create and edit stereo and multichannel audio files with speed and precision, in the studio or in the field. The latest...
Post new comment