Splash

• Home
• Design Documents
• Developers

Links

Primarily influenced by

• Unununium and TUNES
  • Orthogonal persistence
  • Components instead of applications
• E
  • Capability-based security
  • Asynchronous future calls
• Clojure
  • Immutable by default
  • Persistent data structures
• CLOS / Dylan
  • Multimethods
• Self
  • Prototype-based object model
  • Reflective, instant programming

General

• Enough Lame Computing

Concurrency

Event Loops

• Issues in event loops (e-lang)
• Joule Manual
• ERights Concurrency
• Runtime Support for Multicore Haskell

Object Model

• The Scheme Of Things (Jonathan Rees on Scheme)
• Open, reusable object models (Ian Piumarta)
• CLOS: Integrating Object-Oriented and Functional Programming
• COLA
• Clojure's approach to Identity and State See also: State
• Values and Objects in Programming Languages (Maclennan)
• Diffing in persistent data structures (clojure mailing list)
• Super and Inner - Together at Last!

Immutability

• Clojure Refs
• Ideal Hash Trees (Phil Bagwell)

Multimethods

• Security implications of multimethods (e-lang)
  • ...continued

Security

Capabilities

• ERights Capabilities
• PetNames, Nicknames, and Keys (Marc Stiegler)
• KeyKOS
• Capabilities in OCaml
• A Security Kernel Based on the Lambda Calculus (W7 and Scheme-48)
• Ambient Services
• 6 Key Features for Sharing (Stiegler)

JIT

• Nanojit
• Trace Trees Paper
• TraceMonkey Internals

Garbage Collection

Distributed Computing

• ERights Distributed Computing
• Electric Communities Distributed GC
• Life beyond Distributed Transactions (Amazon)

User Interface

• Interaction Design for End-User Security (Miriam Walker and Ka-Ping Yee)

Last Modified: 2010-01-22
© Kevin Mehall and the Splash Contributors