iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/icfp/SkalkaS00.rdf
Christian Skalka and Scott F. Smith: Static enforcement of security with types. (2000) conf/icfp/SkalkaS00 10.1145/351240.351244 10.1145/357766.351244 Static enforcement of security with types. 2 Christian Skalka 1 Scott F. Smith 0001 2 34-45 ICFP ICFP 2000 2000 provenance information for RDF data of dblp record 'conf/icfp/SkalkaS00' 2021-07-08T16:04:01+0200