Charles Stewart

type sort icontitleauthorlast post
StoryThe Syntax and Semantics of Quantitative Type Theory naasking2017-07-26 18:34
StoryA Next Generation Smart Contract and Decentralized Application Platform Manuel J. Simoni2017-07-26 12:09
Forum topicWhat would be involved in moving logic beyond FOL? Charles Stewart2017-07-14 15:18
StoryType Systems as Macros naasking2017-06-25 11:19
StoryDatabases from finite categories Charles Stewart2017-05-24 06:43
PageProlog vs mini-Kanren Charles Stewart2017-03-15 09:24
Forum topicRust's language ergonomics initiative gasche2017-03-11 09:00
StoryContextual isomorphisms gasche2017-03-10 16:30
Forum topicLecturing birds how to fly Charles Stewart2016-09-07 18:46
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04
StorySecond-order logic explained in plain English Charles Stewart2016-02-19 12:40
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