Home » user account

Charles Stewart

typetitleauthorlast post sort icon
StoryHow Does Our Language Shape The Way We Think? Chris Rathman2009-06-18 18:47
Forum topicPregel - Large Scale Graph Computing at Google Srikumar Subramanian2009-06-17 17:37
Forum topicJob trends Ehud Lamm2009-06-15 09:31
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
StoryLectures on Jacques Herbrand as a Logician Charles Stewart2009-06-11 17:42
StoryClosures for C Charles Stewart2009-06-09 01:07
StoryA Tiny Computer Luke Gorrie2009-06-06 05:39
Forum topicLooking for list of programming problems to thoroughly test a language derekp2009-05-04 18:46
StoryParsing Expression Grammars Luke Gorrie2009-04-30 09:35
Forum topicAndrej Bauer on PLD Charles Stewart2009-04-27 07:54
StoryMarrying VMs Charles Stewart2009-04-01 02:33
StoryOpen access at MIT and Harvard Charles Stewart2009-03-29 04:48
StoryCombining computational effects Andris Birkmanis2009-03-13 14:27
StorySTEPS Toward The Reinvention of Programming: First Year Progress Report Luke Gorrie2009-03-13 10:13
StoryProcess calculi for transactions Charles Stewart2009-03-06 09:15
StoryDon Box: Teaching my kids to program Ehud Lamm2009-02-27 00:12
Forum topicDeclarative layout and/or UI languages? naasking2009-02-18 10:05
StoryParameterized Notions of Computation neelk2009-02-17 19:38
Forum topicWhat is the dual of { } ? Kay Schluehr2009-02-12 08:58
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
Forum topicNon-standard type theories for FP marco2009-01-25 03:59
Forum topicMacro systems cdiggins2009-01-22 17:50
Story On the Strength of Proof-Irrelevant Type Theories James Iry2009-01-16 12:10
Forum topicNew Programming Language Idea Lee Chou2009-01-14 09:06