Charles Stewart

typetitle sort iconauthorlast post
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicThe evolution of Rust qznc2015-06-07 16:54
Forum topicPaper journals are in bad shape; priority established in HAL ... Hewitt2015-06-07 15:39
Forum topicTypes are fundamental to both logic and computation Hewitt2015-06-02 11:07
Forum topicFunction arity with currying and call-by-push-value Blaisorblade2015-01-05 16:09
Forum topicImpact of static type systems on productivity of actual programmers: first experiment I've seen documented. Ray Dillinger2014-11-18 03:22
Forum topicOpposing Hierarchies of Complexity Keean Schupke2014-11-05 22:20
StoryEATCS Award 2014: Gordon Plotkin Ehud Lamm2014-10-20 12:53
Forum topicTwitter feed recommendation: Meredith Patterson Charles Stewart2014-09-30 08:30
Forum topicWho Needs Garbage Collection? Keean Schupke2014-09-20 06:41
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
StoryThe marriage of bisimulations and Kripke logical relations Charles Stewart2014-02-01 12:46
StoryA Tail-Recursive Machine with Stack Inspection Dave Herman2013-10-01 15:34
StoryWhy Did M.I.T. Switch from Scheme to Python? Leon P Smith2013-09-12 17:06
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
StoryFoundations of Inference Paul Snively2013-05-21 03:54
StoryObservational Equality, Now! James Iry2013-05-16 02:24
Forum topicPeter Van Roy: Programming Paradigms for Dummies Torsten Anders2013-04-05 15:06
Forum topicDesigning a languge — what theory is a must? pgregory2012-09-28 19:01
Forum topicEnso: William Cook's new programming model Rafael2012-08-29 17:46
Forum topicHow to respect language styles while translating? raould2012-07-24 18:15
Forum topicEncoding System Fw in predicative dependent type theory Matt M2012-05-24 22:00
Forum topicRetrospective Thoughts on BitC raould2012-04-18 16:43
Forum topicCareer paths and concerns Jonathan Schuster2012-03-31 18:04
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02