| | Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org) |
| 94 points by todsacerdoti 19 days ago | past | 30 comments |
|
| | Folding in Parallel (okmij.org) |
| 2 points by g0xA52A2A 65 days ago | past |
|
| | Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org) |
| 43 points by Bogdanp 87 days ago | past | 3 comments |
|
| | Compilers: Incrementally and Extensibly (2024) (okmij.org) |
| 143 points by todsacerdoti 8 months ago | past | 44 comments |
|
| | Having an Effect (2016) (okmij.org) |
| 4 points by akkartik 10 months ago | past |
|
| | A Dream of an Ultimate OS (1995) (okmij.org) |
| 1 point by todsacerdoti on Oct 31, 2024 | past |
|
| | Implementing, and Understanding Type Classes (okmij.org) |
| 3 points by kalaracey on Oct 18, 2024 | past |
|
| | Patterns of Data Flow in Words (okmij.org) |
| 2 points by matt_d on Oct 10, 2024 | past |
|
| | How the OCaml type checker works (2022) (okmij.org) |
| 219 points by mooreds on Aug 18, 2024 | past | 42 comments |
|
| | Unhygienic and referentially opaque macros with Scheme syntax-rules [pdf] (2013) (okmij.org) |
| 30 points by fanf2 on Aug 16, 2024 | past | 9 comments |
|
| | Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org) |
| 141 points by tinyspacewizard on July 28, 2024 | past | 10 comments |
|
| | Lambda to Ski, Semantically [pdf] (okmij.org) |
| 3 points by fanf2 on April 10, 2024 | past |
|
| | Tagless-Final Style (2020) (okmij.org) |
| 7 points by Cieplak on Sept 23, 2023 | past |
|
| | Patterns of data flow in words (okmij.org) |
| 59 points by sctb on June 23, 2023 | past | 1 comment |
|
| | FTP Site (okmij.org) |
| 2 points by whereistimbo on April 4, 2023 | past |
|
| | Subtyping, Subclassing, and Trouble with OOP (okmij.org) |
| 2 points by signa11 on March 27, 2023 | past |
|
| | Free Variables and Free Effects (okmij.org) |
| 3 points by todsacerdoti on Feb 12, 2023 | past |
|
| | Highest-Performance Stream Processing in OCaml/Scala (okmij.org) |
| 4 points by 5n on Feb 4, 2023 | past |
|
| | OOP in FP (1999) (okmij.org) |
| 2 points by Jtsummers on Oct 27, 2022 | past |
|
| | Grasping `All-the-Apples-at-Once' (okmij.org) |
| 2 points by kmstout on April 5, 2022 | past |
|
| | Poster/Slides Directly in PostScript (okmij.org) |
| 2 points by kryptiskt on Nov 4, 2021 | past |
|
| | Recording neuron spikes on a stock IBM PC AT (okmij.org) |
| 2 points by kmstout on Feb 15, 2021 | past | 1 comment |
|
| | Session Types without Sophistry – System Description [pdf] (okmij.org) |
| 19 points by andrenth on Jan 4, 2021 | past |
|
| | An argument against call/cc (2012) (okmij.org) |
| 2 points by swatson741 on Dec 19, 2020 | past |
|
| | Modular, composable, typed optimizations in the tagless-final style (2019) (okmij.org) |
| 43 points by fanf2 on Sept 27, 2020 | past | 8 comments |
|
| | The Shonan Challenge for Generative Programming (2013) (okmij.org) |
| 1 point by dustfinger on Aug 22, 2019 | past |
|
| | Zipper-Based File/OS (Haskell Workshop 2005) [pdf] (okmij.org) |
| 2 points by dustfinger on Aug 21, 2019 | past |
|
| | A dream of an ultimate OS (1995) (okmij.org) |
| 246 points by animalcule on Aug 21, 2019 | past | 175 comments |
|
| | Lightweight Static Guarantees (okmij.org) |
| 42 points by sctb on Aug 11, 2019 | past | 6 comments |
|
| | A Dream of an Ultimate OS (1995) (okmij.org) |
| 10 points by tosh on Aug 8, 2019 | past | 3 comments |
|
|
| More |
