Hacker News
- Capability Myths Demolished (2003) http://www.erights.org/elib/capability/duals/myths.html 30 comments
- Capability-Based Financial Instruments (2000) http://www.erights.org/elib/capability/ode/index.html 9 comments
- Satan Comes to Dinner (1997) http://www.erights.org/history/original-e/satan/index.html 14 comments
- Concurrency Among Strangers: Programming in E as Plan Coordination (2005) [pdf] http://www.erights.org/talks/promises/paper/tgc05.pdf 2 comments
- The E programming language http://www.erights.org/ 9 comments
- E, the secure distributed pure-object platform and p2p scripting language http://www.erights.org/ 7 comments
- Protection in Programming Languages [PDF] http://www.erights.org/history/morris73.pdf 3 comments compsci
- A solution to Dijkstra's Dining Philosophers Problem which provides for deadlock avoidance and fairness http://www.erights.org/e/satan/index.html 14 comments programming
Lambda the Ultimate
- The Structure of Authority: Why security is not a separable concern http://www.erights.org/talks/no-sep/ 49 comments General , Software Engineering , Theory
- Delegating Responsibility in Digital Systems: Horton's "Who Done It?" http://www.erights.org/download/horton/document.pdf 11 comments LtU Forum
- E Thesis: Robust Composition http://www.erights.org/talks/thesis/index.html 20 comments Parallel/Distributed , Software Engineering
- The SkyNet Virus: Why it is Unstoppable; How to Stop it http://www.erights.org/talks/skynet/ 21 comments general
- Auditors: An Extensible, Dynamic Code Verification Mechanism http://www.erights.org/elang/kernel/auditors/index.html 3 comments general
- E - secure,distributed, pure OOP and p2p scripting language http://www.erights.org 7 comments OOP