cap-talk General discussion of capability systems

2013-12-01 - 2014-01-01 (4 messages)

2013-11-01 - 2013-12-01 (52 messages)

2013-10-01 - 2013-11-01 (25 messages)

  1. 2013-11-25  [4] [cap-talk] DAG-enforcement versus garbage-collection?      cap-talk    Jonathan S. Shap
  2. 2013-11-12  [2] [cap-talk] Fully Abstract compilation from F* to JavaScrip cap-talk    Tony Arcieri 
  3. 2013-11-09  [3] [cap-talk] RINA and capabilities                           cap-talk    David Barbour 
  4. 2013-11-07 [39] [cap-talk] how to extend a capability on a data source?    cap-talk    Rob Withers 
  5. 2013-11-04  [1] Re: [cap-talk] Capability modelling tools                  cap-talk    Thomas Leonard 
  6. 2013-11-03  [3] Re: [cap-talk] Extreme wallbanging                         cap-talk    Ben Laurie