recent posts

type sort icontitleauthorlast post
StoryGADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness naasking2015-10-14 15:30
StoryPeter Landin neelk2009-09-25 08:11
StoryHaskell is not not ML Ehud Lamm2006-01-24 20:23
StoryDraining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development gasche2015-08-22 15:22
StoryA Formal Language for Analyzing Contracts Olivier Lefevre2006-01-24 05:48
StoryPiDuce Ehud Lamm2006-01-25 11:36
StoryPICBIT: A Scheme System for the PIC Microcontroller Luke Gorrie2009-12-14 13:21
StoryComposite Replicated Data Types: eventually consistent libraries as non-leaky abstractions gasche2015-05-30 21:12
StoryMyHDL Ehud Lamm2006-01-31 16:16
StoryTwo Bits: The Cultural Significance of Free Software Ehud Lamm2009-12-07 22:12