e-lang The E capability-secure scripting language

2005-07-01 - 2005-08-01 (102 messages)

2005-06-01 - 2005-07-01 (124 messages)

2005-05-01 - 2005-06-01 (93 messages)

  1. 2005-06-30  [7] [e-lang] Reference-state diagram                      e-lang    Mark Miller 
  2. 2005-06-30 [18] [e-lang] Content Complete, Ready for Comments         e-lang    Mark Miller 
  3. 2005-06-30  [1] [e-lang] [Fwd: [TYPES] Book Announcement: A Theory of e-lang    David Hopwood
  4. 2005-06-30  [3] [e-lang] Yet Another Revision                         e-lang    Mark Miller 
  5. 2005-06-29  [2] [e-lang] Feedback on figures                          e-lang    Mark Miller 
  6. 2005-06-28  [6] [e-lang] Pipelining figure                            e-lang    Mark Miller 
  7. 2005-06-28  [1] [e-lang] New Title, Abstract, & Intro - ready for com e-lang    Mark Miller 
  8. 2005-06-28  [4] [e-lang] Vat figures with bigger text                 e-lang    Mark Miller 
  9. 2005-06-26  [6] [e-lang] E-on-Java: How to synchronously access a vat e-lang    Mark Miller 
 10. 2005-06-26  [7] [e-lang] E-on-CL progress, and request for informatio e-lang    Mark Miller 
 11. 2005-06-23  [1] [e-lang] A good post on Side Channel issues           e-lang    Mark Miller 
 12. 2005-06-21 [18] [e-lang] Quick comments needed on tgc draft           e-lang    David Hopwood
 13. 2005-06-21  [6] [e-lang] Two-vat figure                               e-lang    Mark Miller 
 14. 2005-06-21 [11] [e-lang] Vat figure                                   e-lang    Ka-Ping Yee 
 15. 2005-06-19  [1] [e-lang] Curlies in LaTeX                             e-lang    David Hopwood
 16. 2005-06-18  [8] Re: [e-lang] Remaining semantic issues                e-lang    Jon Leonard 
 17. 2005-06-18  [3] [e-lang] Paper real-estate                            e-lang    Mark Miller 
 18. 2005-06-10  [1] [e-lang] Top story at HP Labs website                 e-lang    Mark Miller 
 19. 2005-06-09  [1] [e-lang] Type Inference for First-Class Messages with e-lang    David Hopwood
 20. 2005-06-08  [1] [e-lang] [Fwd: [TYPES] SCOOL]                         e-lang    David Hopwood
 21. 2005-06-08  [1] [e-lang] [Fwd: Re: You may be interested in 0.8.35d]  e-lang    Mark Miller 
 22. 2005-06-07  [1] [e-lang] Exception types and ejector patterns (was Re e-lang    Kevin Reid 
 23. 2005-06-02  [2] Re: [e-lang] Fixing exceptions, try #3 (was Re: TextW e-lang    Mark Miller 
 24. 2005-06-02  [1] Re: [e-lang] Why optUnget is built from optUncall, ra e-lang    Mark Miller 
 25. 2005-06-01  [9] Re: [e-lang] Proposed grammar simplifications         e-lang    Kevin Reid 
 26. 2005-06-01  [1] Re: [e-lang] Fixing exceptions,                       e-lang    Kevin Reid 
 27. 2005-06-01  [1] Re: [e-lang] Why optUnget is built from optUncall,    e-lang    Kevin Reid 
 28. 2005-06-01  [1] [e-lang] early useful features considered harmful ? ( e-lang    zooko
 29. 2005-06-01  [1] [e-lang] [Fwd: Call for papers: MoveLog05]            e-lang    Mark Miller