typetitleauthorlast post sort icon
Forum topicDo names and symbols really imply semantics? If so what to do about it? Ray Dillinger2021-11-22 16:49
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
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2021-06-09 23:27
Forum topicHigh level languages with optimal code generation Milton Silva2021-02-13 04:47
Forum topicLoop and recursion Mats2021-01-21 21:50
Forum topicUpward and downward polymorphism in object oriented languages. Ray Dillinger2020-11-21 00:09
Forum topicUse Cases for Shared-Memory Concurrency? shap2020-09-18 21:51
Forum topicIs character as a type meaningless? Mats2020-09-16 20:52
Forum topicBNFT (Backus Naur Form Transformation) tool released Poul Krogh2020-09-11 19:42
Forum topicAsync/await vs coroutines? Matthew OConnor2020-09-10 16:33
Forum topicThe Way-Too-Early announce: Ecstasy cpurdy2019-11-11 13:37
Forum topicRope jocob_knight2019-08-08 00:28
StoryThe Left Hand of Equals naasking2019-06-20 19:16
Forum topicFor a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" mamcx2019-06-08 16:17
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2019-02-25 23:25
Forum topicLooking for papers on covariance and contravariance AaronNGray2019-02-10 18:33
StoryThe Little Typer Anton van Straaten2018-12-21 18:48
StoryOn compositionality Charles Stewart2018-10-23 17:45
Story"C Is Not a Low-level Language" Allan McInnes2018-08-02 15:16
Forum topicC++ fun chrisoliver2018-06-11 02:05
Forum topicI have a problem with arguments passed as non-evaluated expressions artemonster2018-06-01 10:46
StoryHow to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Andris Birkmanis2018-05-21 07:37