dmbarbour

typetitleauthorlast post sort icon
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2020-08-07 20:35
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-08-06 20:38
StoryApplications of Blockchain to Programming Language Theory Z-Bo2020-04-23 14:47
Forum topicIEEE Scheme expiring soon johnwcowan2020-04-14 07:48
Forum topicDeterministic Concurrency Alex Berka2020-04-10 09:15
Forum topicAdvantages of pointfree? John Nowak2019-10-17 16:20
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
Forum topicStreaming Language Rewrite Processing (SLRP) dmbarbour2019-08-13 03:22
Forum topicSession Types for Purely Functional Process Networks dmbarbour2019-08-02 12:50
Forum topicFor a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" mamcx2019-06-08 16:17
Forum topicAbstraction Tiers of Notations const2019-03-11 01:31
StorySelective Functors Z-Bo2019-03-05 18:39
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2019-02-25 23:25
Forum topicMajor problems with access const2019-02-24 09:31
StoryOn compositionality Charles Stewart2018-10-23 17:45
Story"C Is Not a Low-level Language" Allan McInnes2018-08-02 15:16
StoryHow to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Andris Birkmanis2018-05-21 07:37
Forum topicPopr Tutorial: Dot Machines Dustin DeWeese2018-04-18 22:18
StorySequent Calculus as a Compiler Intermediate Language Andris Birkmanis2018-04-03 01:18
Forum topicEgel Language v0.0.2 marco2018-03-23 22:12
Forum topicAre "jets" a good idea? xkapastel2018-03-16 14:28
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicBottom marco2018-03-10 18:20
Forum topicAnything recent happening with multi-stage programming? David Teller2018-03-08 16:18
Forum topicInteresting new paper from T. Sweeney and others jasonwatkinspdx2018-01-22 05:09