Home » user account

Charles Stewart

typetitleauthorlast post sort icon
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
Forum topicInformation regarding financial crisis Ehud Lamm2010-02-12 16:39
Forum topicAlternatives to parentheses for grouping jason stumpf2010-02-10 13:28
StoryContinuity Analysis of Programs neelk2010-02-09 04:12
Forum topicmore consistent macros? raould2010-02-04 11:22
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
Forum topic Colorful dominoes game hides an exercise in propositional logic jasha1232010-01-08 10:29
StoryNo more tail calls in Javascript? Noel2009-12-23 08:32
StoryAn Innocent Model of Linear Logic Anton van Straaten2009-12-19 09:26
Forum topicNaive Question? Definition of "Higher Order" scottmcl2009-12-16 11:56
Forum topicTop rated programming conferences? Tegiri Nenashi2009-12-04 21:48
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
StoryBytecodes meet Combinators: invokedynamic on the JVM Matt Hellige2009-12-01 11:38
StoryScratch: Programming for All Allan McInnes2009-11-29 19:03
StoryScheme to be split into two languages Manuel J. Simoni2009-11-26 16:54
Forum topicThe Memory Pool System: Thirty person-years of memory management development goes Open Source tonyg2009-11-18 22:12
StoryLiskov's list of papers Ehud Lamm2009-11-11 21:33
Forum topicHaskell Type Constraints Unleashed Greg Buchholz2009-11-11 14:40
StoryRetrospective: An Axiomatic Basis for Computer Programming naasking2009-10-28 08:24
StoryDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson Z-Bo2009-10-26 23:13
StoryHave your AHOS and eat HOAS too! Charles Stewart2009-10-23 16:33