recent posts

type sort icontitleauthorlast post
StoryJohn C. Reynolds, 1935-2013 neelk2013-05-08 11:20
StoryTypesafe Activator Ehud Lamm2013-05-28 15:15
StoryLisp in Summer Projects Ehud Lamm2013-05-06 20:57
StoryOn the history of the question of whether natural language is “illogical” Ehud Lamm2013-06-06 15:18
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
StoryHeap space analysis for garbage collected languages naasking2013-06-29 15:01
StoryMixed-Site Variance bashyal2013-09-09 21:39
StoryExtensible Effects -- An Alternative to Monad Transformers naasking2013-08-01 13:03
StoryDependently-Typed Metaprogramming (in Agda) Ohad Kammar2013-08-30 16:24
StoryDynamic Region Inference naasking2014-08-12 16:12