4 ms·
From the papers section: "A Language for Automatically Enforcing Privacy Policies" http://projects.csail.mit.edu/jeeves/papers/popl088-yang.pdf http://projects
by dj-wonk 13y ago
From the papers section: "A Language for Automatically Enforcing Privacy Policies" http://projects.csail.mit.edu/jeeves/papers/popl088-yang.pdf http://projects.csail.mit.edu/jeeves/papers/popl088-yang.pdf (I hope you like the lambda calculus!)
- dj-wonk 13y agoThis is a better (video) introduction for programmers: http://projects.csail.mit.edu/jeeves/talks.php http://projects.csail.mit.edu/jeeves/talks.php
- jeanyang 13y agoThis paper is the most up-to-date on the semantics of the current implementation: http://projects.csail.mit.edu/jeeves/papers/plas07-austin.pdf http://projects.csail.mit.edu/jeeves/papers/plas07-austin.pd...