Home » user account

Charles Stewart

typetitleauthorlast post sort icon
Forum topicTheoretical Computer Science StackExchange Beta now open S. Clover2010-08-30 20:58
StoryIt's been ten years! Ehud Lamm2010-08-11 08:07
Forum topicData schema languages Matthew Willson2010-08-10 12:24
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
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
StoryCode Quarterly - The Hackademic Journal Ehud Lamm2010-05-10 20:44
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
Forum topicHistorical question Ehud Lamm2010-02-17 20:06