| | 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
|
|
| | 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
|
|
|
|
More |
