A Type-theoretic Approach to Cloud Data Integration
Keyword(s):
Keyword(s):
2014 ◽
Keyword(s):
1986 ◽
Vol 19
(3)
◽
pp. 116-130
◽
Keyword(s):
2018 ◽
Vol 3
(4)
◽
pp. 17-19