Home » user account

Charles Stewart

typetitleauthorlast post sort icon
Forum topicThe AST Typing Problem (a bleg, also "why did attribute-grammars fail?") chetmurthy2020-12-15 19:40
Forum topicIdris2 is self-hosting Ohad Kammar2020-06-10 06:49
Forum topicFor a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" mamcx2019-06-08 16:17
Story"Three Things I Wish I Knew When I Started Designing Languages" Charles Stewart2019-05-14 00:54
StoryThe Little Typer Anton van Straaten2018-12-21 18:48
StoryOn compositionality Charles Stewart2018-10-23 17:45
Forum topicCo-continuations: a dual to shift/reset? xkapastel2018-10-08 14:34
Forum topicA pointer is an integer with a shiv Charles Stewart2018-09-26 09:02
StoryHow efficient is partial sharing? Charles Stewart2017-11-21 13:37
StoryThe Syntax and Semantics of Quantitative Type Theory naasking2017-07-26 18:34
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