Charles Stewart

typetitleauthorlast post sort icon
Forum topicCUE: An open-source data validation language Robbert van Dalen2022-06-04 04:46
StoryGraydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes Charles Stewart2022-02-27 21:50
Forum topicAdvantages of pointfree? John Nowak2021-11-02 19:30
Forum topicJohn Shutt, creator of Kernel and an LtU regular, dies at 56 jdougan2021-10-14 09:16
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
Forum topicWhat is a type? cpurdy2021-08-05 01:10
StoryIntroducing PathQuery, Google's Graph Query Language Z-Bo2021-07-27 13:34
Forum topicEmacs modes: what is it? Qiantan Hong2021-07-09 15:09
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2021-06-09 23:27
StoryA Next Generation Smart Contract and Decentralized Application Platform Manuel J. Simoni2021-05-12 10:13
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