typetitleauthorlast post sort icon
Forum topicAnything recent happening with multi-stage programming? David Teller2018-03-08 16:18
StoryDo Be Do Be Do gasche2017-01-12 18:51
Forum topicStack of regions for managing effects? Aivar Annamaa2016-06-11 15:11
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40
Forum topicTyped X (Racket, Clojure, Lua) just doesn't pan out? raould2016-01-31 00:31
Forum topicFLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice Oleg2016-01-14 13:01
Forum topicTyped Data Andrew Moss2015-12-31 08:59
StoryProgramming with Algebraic Effects and Handlers Matt Hellige2015-12-04 03:11
Forum topicHow Useful is Erlang Hot-Swapping of Code? marco2015-11-10 18:57
StoryBER MetaOCaml -- an OCaml dialect for multi-stage programming gasche2015-06-24 08:53
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
Story John C Reynolds Doctoral Dissertation Award nominations for 2014 Ehud Lamm2014-12-01 08:41
Forum topicdoing letrec with lambdas jimdesu2014-09-29 19:46
Forum topicRe-thinking Prolog Alex12014-09-24 11:21
Forum topicThe broad ML Family workshop Oleg2014-07-31 10:07
Forum topicAha moment Ehud Lamm2014-04-29 06:07
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
StoryThe Genuine Sieve of Eratosthenes Ehud Lamm2013-10-26 21:32
StoryCopatterns: the final approach to codata? gasche2013-10-11 22:36
Forum topicTerra: A low-level counterpart to Lua Denis Washington2013-05-21 19:10
Forum topicNesting of quasi-quotation Jules Jacobs2013-05-08 03:50
Forum topicGADT vs. Type Classes Greg Buchholz2013-04-22 22:24
StorySimple Generators v. Lazy Evaluation Manuel J. Simoni2013-02-26 12:23
Forum topicAre nested SQL statements monads? sciomako2012-11-29 10:59
StoryOleg: An argument against call/cc bashyal2012-09-13 17:06