SAFKASI

swMATH20431MaRDI QIDQ32249FDOQ32249

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=363520

Cited In (4)

• Access control in a core calculus of dependency
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• Model checking usage policies
• Binder

This page was built for software: SAFKASI