| | Lambda to Ski, Semantically [pdf] (okmij.org) |
|
3 points by fanf2 3 months ago | past
|
| | Tagless-Final Style (2020) (okmij.org) |
|
7 points by Cieplak 9 months ago | 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
|
| | 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
|
|
|
More |