| | Foundations for Hacking on OCaml (kcsrk.info) |
| 5 points by ibobev 10 days ago | past | discuss |
|
| | Foundations for Hacking on OCaml (kcsrk.info) |
| 2 points by sadiq 11 days ago | past | discuss |
|
| | Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info) |
| 159 points by matt_d 77 days ago | past | 48 comments |
|
| | Linearity and Uniqueness (kcsrk.info) |
| 5 points by matt_d 5 months ago | past |
|
| | Uniqueness for Behavioural Types (kcsrk.info) |
| 1 point by hwj 5 months ago | past |
|
| | Uniqueness for Behavioural Types (kcsrk.info) |
| 3 points by matt_d 5 months ago | past |
|
| | A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info) |
| 40 points by matt_d 8 months ago | past | 4 comments |
|
| | Retrofitting effect handlers onto OCaml [pdf] (kcsrk.info) |
| 3 points by fanf2 10 months ago | past |
|
| | Bounding Data Races in Space and Time [pdf] (kcsrk.info) |
| 1 point by denotational 11 months ago | past |
|
| | The OCaml System (kcsrk.info) |
| 9 points by g0xA52A2A on Jan 7, 2023 | past |
|
| | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
| 2 points by nextos on June 17, 2022 | past |
|
| | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
| 2 points by metadat on June 16, 2022 | past |
|
| | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
| 2 points by todsacerdoti on June 16, 2022 | past | 1 comment |
|
| | Effective Concurrency with Algebraic Effects in Multicore OCaml (kcsrk.info) |
| 148 points by slightknack on Oct 12, 2021 | past | 59 comments |
|
| | Retrofitting Effect Handlers onto OCaml [pdf] (kcsrk.info) |
| 6 points by matt_d on Feb 26, 2021 | past |
|
| | Mergeable Replicated Data Types [pdf] (kcsrk.info) |
| 2 points by godelmachine on Nov 25, 2019 | past |
|
| | OCaml on Baremetal Shakti RISC-V Processor (kcsrk.info) |
| 233 points by lelf on March 29, 2019 | past | 76 comments |
|
| | State of Multicore OCaml [pdf] (kcsrk.info) |
| 160 points by systems on June 28, 2018 | past | 103 comments |
|
| | Eff Directly in OCaml [pdf] (kcsrk.info) |
| 3 points by michaelsbradley on Aug 12, 2017 | past |
|
| | A deep dive into Multicore OCaml garbage collector (kcsrk.info) |
| 166 points by melqdusy on July 16, 2017 | past | 89 comments |
|
| | Lock-free programming for the masses (kcsrk.info) |
| 188 points by antouank on June 15, 2016 | past | 29 comments |
|
| | Lock-free programming for the masses (kcsrk.info) |
| 8 points by asb on June 13, 2016 | past | 4 comments |
|
| | ARM-ed with Reason: Building Reason Apps for ARM Target with Docker (kcsrk.info) |
| 3 points by GemG on May 23, 2016 | past | 1 comment |
|
| | Effective Concurrency with Algebraic Effects (kcsrk.info) |
| 2 points by wtetzner on April 1, 2016 | past |
|
| | Featherweight Threads for Communication in SML (2001) [pdf] (kcsrk.info) |
| 16 points by eatonphil on Sept 14, 2015 | past |
|
| | Pearls of Algebraic Effects and Handlers (kcsrk.info) |
| 1 point by colinprince on Aug 25, 2015 | past |
|
| | Effective Concurrency with Algebraic Effects (OCaml Multicore) (kcsrk.info) |
| 6 points by amirmc on May 21, 2015 | past |
|
