[TYPES] Looking for a type system

[David Rajchenbach-Teller]

Thank you all for the references.
        
        Cheers,
         David
        
On Tue, 2008-10-21 at 12:38 +0200, David Rajchenbach-Teller wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> 
> Dear list,
> 
> I've been working for a few months on a type system for applied system
> security. I've started with dependent types and progressively managed to
> trim it down to something which, with a few simplifications, has the
> following grammar:

-- 
David Teller-Rajchenbach
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act
brings liquidations.