recent posts

type sort icontitleauthorlast post
StoryProofs are Programs: 19th Century Logic and 21st Century Computing shapr2006-05-30 17:35
StoryA Monadic Semantics for Core Curry Andris Birkmanis2006-05-03 08:59
StoryA note on distributed computing Luke Gorrie2006-05-09 10:33
StorySERIES Luke Gorrie2016-05-05 06:50
StoryTyped Concurrent Programming with Logic Variables Andris Birkmanis2006-05-05 15:27
StoryCol--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file Paul Snively2006-05-08 04:33
StoryHashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. Paul Snively2008-01-17 00:24
StoryComputer Science Looks for a Remake Ehud Lamm2006-05-10 20:48
StoryMathLang Jim Apple2006-05-14 11:00
StoryBlock performance in Ruby Ehud Lamm2006-05-18 23:18