Home

recent posts

typetitleauthorlast post sort icon
Forum topicGenerative Grammar-based Computation dmbarbour2010-07-27 00:27
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
Forum topicEvocative metaphor Ehud Lamm2010-07-12 13:40
StoryAn intuitionistic logic that proves Markov's principle neelk2010-07-07 08:23
StoryHandlers of Algebraic Effects Ohad Kammar2010-07-07 08:17
StoryRacket Released Noel2010-06-16 12:39
Forum topicData schema languages Matthew Willson2010-06-13 00:02
StoryThe Resurgence of Parallelism Allan McInnes2010-06-09 17:59
Forum topicAlan Kay's 70th Z-Bo2010-05-31 21:19
Forum topicSpam filters Charles Stewart2010-05-19 16:45
StoryThe War on Spam Ehud Lamm2010-05-19 08:51
Forum topicWhat's the name for this model of computation? Matt M2010-05-17 18:55
Storyprogram verification: the very idea el-vadimo2010-05-11 13:31
StoryCode Quarterly - The Hackademic Journal Ehud Lamm2010-05-10 20:44
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2010-05-09 11:02
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
Forum topicHow can C Programs be so Reliable? Manuel J. Simoni2010-04-23 11:54
Forum topichot topics in type theorem Zsolt Szalai2010-04-16 17:36
Forum topicCombinators for contracts Charles Stewart2010-04-16 14:45
StoryCan functional programming be liberated from the von Neumann paradigm? Charles Stewart2010-04-14 20:25
StoryA Formal System For Euclid's Elements neelk2010-04-08 16:57
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-04-02 03:25
StoryLawvere Theories and Monads Charles Stewart2010-03-31 09:10
Forum topicWill data-intensive computing revolutionize programming languages? Peter Van Roy2010-03-30 16:54