iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/popl/BodinCFGMNSS14.nt
.
.
.
.
.
.
"Martin Bodin et al.: A trusted mechanised JavaScript specification. (2014)" .
.
.
_:ID_580a867460a92a36a9479b14cd026437 . _:ID_580a867460a92a36a9479b14cd026437
. _:ID_580a867460a92a36a9479b14cd026437
. _:ID_580a867460a92a36a9479b14cd026437
. _:ID_580a867460a92a36a9479b14cd026437
"conf/popl/BodinCFGMNSS14" .
_:ID_8737f1f40ba78ab30d8458abbbb26fd2 . _:ID_8737f1f40ba78ab30d8458abbbb26fd2
. _:ID_8737f1f40ba78ab30d8458abbbb26fd2
. _:ID_8737f1f40ba78ab30d8458abbbb26fd2
. _:ID_8737f1f40ba78ab30d8458abbbb26fd2
"10.1145/2535838.2535876" .
_:ID_8737f1f40ba78ab3698916367ec87e8e . _:ID_8737f1f40ba78ab3698916367ec87e8e
. _:ID_8737f1f40ba78ab3698916367ec87e8e
. _:ID_8737f1f40ba78ab3698916367ec87e8e
. _:ID_8737f1f40ba78ab3698916367ec87e8e
"10.1145/2578855.2535876" .
"A trusted mechanised JavaScript specification." .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
"8"^^
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_1 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_1
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_1
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_1
"Martin Bodin" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_1
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_1
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_1
"1"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_1
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_2 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_2
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_2
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_2
"Arthur Chargu\u00E9raud" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_2
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_2
"2"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_2
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_3 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_3
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_3
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_3
"Daniele Filaretti" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_3
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_3
"3"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_3
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_4 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_4
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_4
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_4
"Philippa Gardner" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_4
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_4
"4"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_4
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_5 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_5
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_5
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_5
"Sergio Maffeis" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_5
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_5
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_5
"5"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_5
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_6 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_6
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_6
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_6
"Daiva Naudziuniene" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_6
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_6
"6"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_6
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_7 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_7
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_7
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_7
"Alan Schmitt" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_7
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_7
"7"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_7
.
_:Sig_1b632632bc32897a6ca03ad3288bc37b_8 . _:Sig_1b632632bc32897a6ca03ad3288bc37b_8
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_8
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_8
"Gareth Smith" . _:Sig_1b632632bc32897a6ca03ad3288bc37b_8
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_8
"8"^^
. _:Sig_1b632632bc32897a6ca03ad3288bc37b_8
.
.
.
.
.
.
"87-100" .
"POPL" .
"POPL" .
"2014"^^
.
"2014"^^
.
.
"provenance information for RDF data of dblp record 'conf/popl/BodinCFGMNSS14'" .
.
