gasche

typetitleauthorlast post sort icon
StoryGraydon Hoare: What next for compiled languages? Ehud Lamm2018-04-06 02:24
Forum topicAn impure solution to the problem of matching fans Anton Salikhmetov2018-03-28 15:47
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicGADTs as gaurds Matt M2018-03-14 20:29
Forum topicAnything recent happening with multi-stage programming? David Teller2018-03-08 16:18
Forum topicGenerics and Reverse Generics for Dynamic Languages Greg Buchholz2018-03-06 18:06
Forum topicType systems for acyclic terms marco2018-02-09 08:26
Forum topicDefunctionalization+Refunctionalization+Expression Problem chrisoliver2018-02-02 04:24
Forum topicAlgebra Of Pointers Keean Schupke2017-12-30 13:48
StoryCopattern matching and first-class observations in OCaml, with a macro naasking2017-12-25 02:52
StoryIs Haskell the right language for teaching functional programming principles? Ehud Lamm2017-12-21 23:01
Forum topicHelp with Herbelin jimdesu2017-12-21 16:01
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
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
StoryProceedings of the ACM on Programming Languages Ehud Lamm2017-09-06 06:36
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-21 14:33
Forum topicNew simple proof system Edwin Zacharias2017-08-13 22:29
Forum topichobbes, Morgan Stanley OSS Kalani2017-07-27 14:55
Forum topicAffine Types - Introductory reading filipallberg2017-07-10 02:17
Forum topicHow to name the inverse functions of constructors hbrandl2017-07-03 00:16
StoryType Systems as Macros naasking2017-06-25 11:19
Forum topicRestructor: Full Program Automatic Refactoring Wouter2017-06-16 21:17
Forum topicFree links to all (or practically all) recent SIGPLAN papers emery2017-06-04 03:32
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03