gasche

type sort icontitleauthorlast post
Forum topicBest value for overloading? naasking2018-09-06 21:19
StoryIs Haskell the right language for teaching functional programming principles? Ehud Lamm2018-08-14 06:26
StoryPolymorphism, subtyping and type inference in MLsub gasche2018-07-13 00:37
Forum topicType Bombs marco2018-05-17 10:51
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
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