What Are Polymorphically-Typed Ambients?
No abstract available.
Related papers
- A Dependently Typed Ambient Calculus ESOP 2004
- Types for Evolving Communication in Safe Ambients VMCAI 2003
- Doo bee doo bee doo JFP 2020
- Secure safe ambients POPL 2001
- Types for Mobile Ambients POPL 1999
- Mobile safe ambients TOPLAS 2003
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Controlling Interference in Ambients POPL 2000