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. S
  2. 2013-11-12  [2] [cap-talk] Fully Abstract compilation from F* to Java 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 sourc cap-talk  Rob Withers 
  5. 2013-11-04  [1] Re: [cap-talk] Capability modelling tools             cap-talk  Thomas Leonar
  6. 2013-11-03  [3] Re: [cap-talk] Extreme wallbanging                    cap-talk  Ben Laurie