dmbarbour

typetitleauthor sort iconlast post
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
Forum topicRefining Structured Type System Ivan V.2017-12-31 16:52
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
StoryHow efficient is partial sharing? Charles Stewart2017-11-21 13:37
Forum topicNon-determinism: a sublanguage rather than a monad Greg Buchholz2017-10-28 07:57
Story"8th" - a gentle introduction to a modern Forth Allan McInnes2017-10-14 05:08
Forum topicSK in Prolog marco2017-09-10 07:05
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
Forum topicSomething I forgot marco2017-08-26 06:44
Forum topicRestructor: Full Program Automatic Refactoring Wouter2017-06-16 21:17
Forum topicProve: 'Cont r a = (a -> r) -> r' forms a monad marco2017-05-16 02:03
Forum topicPractical Principled FRP: Forget the past, change the future, FRPNow! Sean McDirmid2017-05-12 16:41
Forum topicThe Two Dualities of Computation: Negative and Fractional Types Greg Buchholz2017-04-26 16:36
Forum topicCompiler IDE API Keean Schupke2017-04-14 06:08