Record · corpus.blog/posts/01a087d7-d866-7036-bcf3-204c68117261

Lambda Capabilities

roscidus.com · published 26 April 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at roscidus.com Wayback capture

2blogs citing

First cited: 20 Mar 2024
Most recent: 2 Aug 2026
Rank this month: not ranked
External links: 15
Words captured: 7,529

Cited by

Blog

In the post

Date

anil.recoil.org

.plan-26-31: Sorting out Tessera and Evidence TAP infrastructure Read at the source ↗

2 Aug 2026

tarides.com

Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml Read at the source ↗

20 Mar 2024

Links from this post

Link

Host

https://www.reddit.com/r/ProgrammingLanguages/comments/130an3z/lambda_capabilities/

reddit.com

https://news.ycombinator.com/item?id=35723557

news.ycombinator.com

https://lobste.rs/s/uyj3vj/lambda_capabilities

lobste.rs

https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/safe_haskell.html

downloads.haskell.org

https://man.freebsd.org/cgi/man.cgi?query=cap_enter

man.freebsd.org

http://www.erights.org/elib/distrib/captp/index.html

erights.org

https://capnproto.org/rpc.html

capnproto.org

https://github.com/ocaml-multicore/eio

github.com

https://www.hpl.hp.com/techreports/2006/HPL-2006-116.pdf

hpl.hp.com

https://man.openbsd.org/unveil

man.openbsd.org

https://ocaml-multicore.github.io/eio/eio/Eio/Fiber/index.html

ocaml-multicore.github.io

http://habitatchronicles.com/2017/05/what-are-capabilities/

habitatchronicles.com

https://papers.agoric.com/papers/robust-composition/abstract/

papers.agoric.com

https://srl.cs.jhu.edu/pubs/SRL2003-02.pdf

srl.cs.jhu.edu

https://dl.acm.org/doi/pdf/10.1145/365230.365252

dl.acm.org

Elsewhere on roscidus.com (1)

https://roscidus.com/blog/about/

roscidus.com