| | R-Technology (okmij.org) |
| 1 point by owaty on July 19, 2019 | past |
|
| | Programming Language Reminiscence: R-Technology (okmij.org) |
| 20 points by sctb on May 16, 2019 | past | 1 comment |
|
| | Algebras (okmij.org) |
| 2 points by kmstout on May 16, 2019 | past |
|
| | Finally Tagless, Partially Evaluated [pdf] (okmij.org) |
| 2 points by fanf2 on Feb 22, 2019 | past |
|
| | Generating Mutually Recursive Definitions [pdf] (okmij.org) |
| 27 points by sctb on Feb 4, 2019 | past | 1 comment |
|
| | What polymorphism and garbage collection have in common (2013) (okmij.org) |
| 100 points by g0xA52A2A on Nov 18, 2018 | past | 3 comments |
|
| | Strongly Typed Heterogeneous Collections (2004) [pdf] (okmij.org) |
| 28 points by ingve on Sept 17, 2018 | past | 3 comments |
|
| | How to generate optimal code with MetaOCaml (okmij.org) |
| 1 point by mpweiher on June 8, 2018 | past |
|
| | Lambda to SKI: a different view on the old translation (okmij.org) |
| 1 point by sctb on May 14, 2018 | past |
|
| | Ways of expressing 'bottom' in Haskell without resorting to unsafe operations (okmij.org) |
| 1 point by gfredtech on May 9, 2018 | past |
|
| | Implementing and Understanding Type Classes (2014) (okmij.org) |
| 118 points by jez on April 28, 2018 | past | 26 comments |
|
| | 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 |
|
|
| More |
