More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

"Dependent types for enforcement of information flow and erasure policies ..."

Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski (2013)

> Home

Details and statistics

DOI: 10.1145/2505879.2505895

access: closed

type: Conference or Workshop Paper

metadata version: 2018-11-06

- view
  - electronic edition via DOI
  - unpaywalled version
  authority control:
- export record
  dblp key:
  - conf/ppdp/StewartBN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/StewartBN13
Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski:
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. PPDP 2013: 145-156

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.