iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/coordination/ImaiYY17.nt
.
.
.
.
.
"Keigo Imai et al.: Session-ocaml: A Session-Based Library with Polarities and Lenses. (2017)" .
.
_:ID_b61855db0c9dd15ccd63aef66c781add . _:ID_b61855db0c9dd15ccd63aef66c781add
. _:ID_b61855db0c9dd15ccd63aef66c781add
. _:ID_b61855db0c9dd15ccd63aef66c781add
. _:ID_b61855db0c9dd15ccd63aef66c781add
"conf/coordination/ImaiYY17" .
_:ID_b91c85e59bf9c359c667ee625926c3f2 . _:ID_b91c85e59bf9c359c667ee625926c3f2
. _:ID_b91c85e59bf9c359c667ee625926c3f2
. _:ID_b91c85e59bf9c359c667ee625926c3f2
. _:ID_b91c85e59bf9c359c667ee625926c3f2
"10.1007/978-3-319-59746-1_6" .
"Session-ocaml: A Session-Based Library with Polarities and Lenses." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_525769051ce3cea069a2c2207cbe1821_1 . _:Sig_525769051ce3cea069a2c2207cbe1821_1
. _:Sig_525769051ce3cea069a2c2207cbe1821_1
. _:Sig_525769051ce3cea069a2c2207cbe1821_1
"Keigo Imai" . _:Sig_525769051ce3cea069a2c2207cbe1821_1
. _:Sig_525769051ce3cea069a2c2207cbe1821_1
. _:Sig_525769051ce3cea069a2c2207cbe1821_1
"1"^^
. _:Sig_525769051ce3cea069a2c2207cbe1821_1
.
_:Sig_525769051ce3cea069a2c2207cbe1821_2 . _:Sig_525769051ce3cea069a2c2207cbe1821_2
. _:Sig_525769051ce3cea069a2c2207cbe1821_2
. _:Sig_525769051ce3cea069a2c2207cbe1821_2
"Nobuko Yoshida" . _:Sig_525769051ce3cea069a2c2207cbe1821_2
. _:Sig_525769051ce3cea069a2c2207cbe1821_2
. _:Sig_525769051ce3cea069a2c2207cbe1821_2
"2"^^
. _:Sig_525769051ce3cea069a2c2207cbe1821_2
.
_:Sig_525769051ce3cea069a2c2207cbe1821_3 . _:Sig_525769051ce3cea069a2c2207cbe1821_3
. _:Sig_525769051ce3cea069a2c2207cbe1821_3
. _:Sig_525769051ce3cea069a2c2207cbe1821_3
"Shoji Yuen" . _:Sig_525769051ce3cea069a2c2207cbe1821_3
. _:Sig_525769051ce3cea069a2c2207cbe1821_3
"3"^^
. _:Sig_525769051ce3cea069a2c2207cbe1821_3
.
.
.
.
.
"99-118" .
"COORDINATION" .
"COORDINATION" .
"2017"^^
.
"2017"^^
.
.
"provenance information for RDF data of dblp record 'conf/coordination/ImaiYY17'" .
.
.
.
"2020-03-27T08:47:36+0100" .