| | Monads in Scheme (okmij.org) |
| 104 points by amirouche on Sept 4, 2015 | past | 15 comments |
|
| | Lightweight Dependent-type Programming (2008) (okmij.org) |
| 23 points by mlitchard on July 31, 2015 | past |
|
| | The Next Stage of Staging: Type-level metaprogramming [pdf] (okmij.org) |
| 1 point by sctb on April 29, 2015 | past |
|
| | XML and Scheme (okmij.org) |
| 9 points by michaelsbradley on March 26, 2015 | past | 1 comment |
|
| | Lambda Calculus and Lambda Calculators (okmij.org) |
| 11 points by jcr on Dec 6, 2014 | past |
|
| | An argument against call/cc (2012) (okmij.org) |
| 76 points by luu on Nov 30, 2014 | past | 13 comments |
|
| | Extensible Effects (okmij.org) |
| 2 points by _qc3o on Nov 10, 2014 | past |
|
| | Modular, composable, typed optimizations in the tagless-final style (okmij.org) |
| 25 points by edwintorok on Oct 11, 2014 | past | 2 comments |
|
| | [dupe] Re-thinking Prolog (okmij.org) |
| 3 points by colinprince on Sept 16, 2014 | past | 2 comments |
|
| | Rethinking Prolog [pdf] (okmij.org) |
| 113 points by lelf on Sept 11, 2014 | past | 34 comments |
|
| | Streams and Iteratees (okmij.org) |
| 39 points by chicken_lady on June 23, 2014 | past | 3 comments |
|
| | The Design and Implementation of BER MetaOCaml (okmij.org) |
| 33 points by keithflower on June 11, 2014 | past | 2 comments |
|
| | How to generate optimal code with MetaOCaml (okmij.org) |
| 2 points by edwintorok on Nov 6, 2013 | past |
|
| | Constructive Law of Excluded Middle (okmij.org) |
| 3 points by rosser on Oct 24, 2013 | past |
|
| | Monadic i/o and Unix shell programming (okmij.org) |
| 2 points by perplexes on Oct 24, 2013 | past |
|
| | A brief history of (BER) MetaOCaml (okmij.org) |
| 1 point by tbirdz on Sept 10, 2013 | past |
|
| | How OCaml's type checker works - or what polymorphism and GC have in common (okmij.org) |
| 4 points by mbrubeck on March 14, 2013 | past |
|
| | Efficient and Insightful Generalization (okmij.org) |
| 3 points by edwintorok on March 8, 2013 | past |
|
| | An argument against call/cc (okmij.org) |
| 1 point by frr149 on Jan 17, 2013 | past |
|
| | Undelimited continuations are not functions (okmij.org) |
| 2 points by joeyespo on Aug 18, 2012 | past |
|
| | An argument against call/cc (okmij.org) |
| 15 points by LiveTheDream on Aug 9, 2012 | past |
|
| | IO monad realized in 1965 (okmij.org) |
| 8 points by ranit8 on April 10, 2012 | past |
|
| | Subtyping, Subclassing, and Trouble with OOP (okmij.org) |
| 3 points by gnosis on March 4, 2012 | past |
|
| | Two misconceptions about closures (okmij.org) |
| 1 point by gnosis on Jan 25, 2012 | past |
|
| | A self-infecting datatype in Lisp (okmij.org) |
| 52 points by gnosis on Jan 24, 2012 | past | 8 comments |
|
| | Zipper in Scheme (okmij.org) |
| 64 points by gnosis on Jan 22, 2012 | past |
|
| | Writing LaTeX mathematical papers with SXML (okmij.org) |
| 2 points by gnosis on Jan 16, 2012 | past |
|
| | Expressing delimited continuation operators in terms of each other. (okmij.org) |
| 2 points by gnosis on Jan 13, 2012 | past |
|
| | Low- and high-level macro programming in Scheme (okmij.org) |
| 1 point by gnosis on Jan 13, 2012 | past |
|
| | Monadic Programming in Scheme (okmij.org) |
| 52 points by gnosis on Dec 23, 2011 | past | 4 comments |
|
|
| More |
