| | Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-Rules '13 [pdf] (okmij.org) |
|
1 point by mpweiher on March 22, 2018 | past
|
| | Monadic I/O and Unix shell programming (2001) (okmij.org) |
|
75 points by DyslexicAtheist on Feb 18, 2018 | past | 10 comments
|
| | The challenge of first-class memory (okmij.org) |
|
61 points by sctb on Nov 24, 2017 | past | 2 comments
|
| | Non-determinism: a sublanguage rather than a monad (okmij.org) |
|
97 points by panic on Sept 20, 2017 | past | 73 comments
|
| | Functional Programming Pot-Pourri (okmij.org) |
|
1 point by erwan on Sept 7, 2017 | past
|
| | Backtracking, Interleaving, and Terminating Monad Transformers (2005) [pdf] (okmij.org) |
|
71 points by setra on March 15, 2017 | past | 15 comments
|
| | Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org) |
|
1 point by bbcbasic on Dec 22, 2016 | past
|
| | BER MetaOCaml (okmij.org) |
|
2 points by _qc3o on Dec 1, 2016 | past
|
| | HANSEI as a Declarative Logic Programming Language for OCaml (okmij.org) |
|
1 point by jb1991 on Oct 10, 2016 | past
|
| | An argument against call/cc (okmij.org) |
|
3 points by wtbob on Aug 8, 2016 | past | 1 comment
|
| | The curious case of test-driven development (okmij.org) |
|
2 points by akkartik on May 26, 2016 | past
|
| | Poly-variadic fix-point combinators for mutual recursion (okmij.org) |
|
2 points by setra on Jan 20, 2016 | past
|
| | Patch-Free Intercepting of System Calls (okmij.org) |
|
1 point by neopallium on Jan 7, 2016 | past
|
| | Free and Freer Monads: Putting Monads Back into Closet (okmij.org) |
|
72 points by alphonse23 on Nov 18, 2015 | past | 15 comments
|
| | IO Monad Realized in 1965 (2012) (okmij.org) |
|
42 points by dgraunke on Sept 30, 2015 | past | 8 comments
|
| | Freer Monads, More Extensible Effects [pdf] (okmij.org) |
|
3 points by dgraunke on Sept 29, 2015 | past
|
| | IO Monad Realized in 1965 (2012) (okmij.org) |
|
1 point by dgraunke on Sept 29, 2015 | past
|
| | Unix Pipes as IO Monads (2001) (okmij.org) |
|
46 points by ayberkt on Sept 10, 2015 | past | 1 comment
|
| | 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
|
|
|
More |