type sort icontitleauthorlast post
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicThe Myths of Object-Orientation el-vadimo2010-12-21 17:28
StoryRecent Progress in Quantum Algorithms Manuel J. Simoni2010-03-16 18:22
Forum topicWard's Wiki Sean McDirmid2009-12-28 14:50
Forum topicNeed volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc) Cyril2009-12-27 09:47
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
Forum topicSimplicity John Carter2009-08-05 21:58
StoryA-Z of Programming Languages: Erlang Chris Rathman2009-06-29 22:24
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
Forum topicCOLA and Open, extensible object models michael-fig2007-10-05 19:04
StoryAgentSheets: End-User Programing (and Secret Lisp Success Story!) Brent Fulgham2006-12-31 23:19
StoryA type-correct, stack-safe, provably correct, expression compiler in Epigram Niels Hoogeveen2006-10-02 18:13
StoryTransactional Memory with data invariants (draft sequel to the STM-Haskell paper) shapr2006-05-17 12:42