dmbarbour

typetitleauthorlast post sort icon
Forum topicAdvantages of pointfree? John Nowak2023-02-19 16:24
Forum topicWhat is a type? cpurdy2023-01-25 22:53
Forum topicDo names and symbols really imply semantics? If so what to do about it? Ray Dillinger2021-11-22 16:49
Forum topicWe've got big balls ... of mud ... Ray Dillinger2021-10-13 19:42
Forum topicMonads vs Applicative Functors. Keean Schupke2021-08-19 13:27
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2021-06-09 23:27
Forum topicCognition and Coding Alex Berka2021-04-24 06:46
Forum topicAbstraction Tiers of Notations const2021-03-30 16:43
Forum topicHigh level languages with optimal code generation Milton Silva2021-02-13 04:47
Forum topicConcurrent System Programming with Effect Handlers raould2021-01-26 03:50
Forum topicLoop and recursion Mats2021-01-21 21:50
Forum topicObject graph 'integrals' const2020-12-31 16:30
StoryBuilt to Last Ehud Lamm2020-12-17 03:14
Forum topicLooking for VM's or AM's for functional languages. AaronNGray2020-12-10 16:10
Forum topicDeterministic Concurrency Alex Berka2020-12-01 15:10
Forum topicWhat is a type? Mats2020-10-30 19:19
Forum topicTackling the Awkward Squad for Reactive Programming raould2020-09-24 22:41
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 topicGodel and Meta-Circularity Matt M2020-09-16 03:37
Forum topicExhaustiveness checks for algorithms that manipulate imperative data structures Eduardo León2020-08-30 14:57
StoryApplications of Blockchain to Programming Language Theory Z-Bo2020-04-23 14:47
Forum topicIEEE Scheme expiring soon johnwcowan2020-04-14 07:48
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22