SAFKASI

MaRDI QIDQ32249swMATHFDO

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