| | A Dream of an Ultimate OS (1995) (okmij.org) |
|
1 point by todsacerdoti 4 days ago | past | discuss
|
|
| | Implementing, and Understanding Type Classes (okmij.org) |
|
3 points by kalaracey 18 days ago | past | discuss
|
|
| | Patterns of Data Flow in Words (okmij.org) |
|
2 points by matt_d 25 days ago | past
|
|
| | How the OCaml type checker works (2022) (okmij.org) |
|
219 points by mooreds 78 days ago | past | 42 comments
|
|
| | Unhygienic and referentially opaque macros with Scheme syntax-rules [pdf] (2013) (okmij.org) |
|
30 points by fanf2 80 days ago | past | 9 comments
|
|
| | Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org) |
|
141 points by tinyspacewizard 3 months ago | past | 10 comments
|
|
| | Lambda to Ski, Semantically [pdf] (okmij.org) |
|
3 points by fanf2 6 months ago | 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
|
|
| | 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
|
|
|
|
More |
