Login / Signup
Bogdan Mingela
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Expressive Power
Relational Calculus
Viewpoint
Query Processor
Top Venues
CoRR
</>
Publications
</>
Bogdan Mingela
,
Nikolay Troshkov
,
Manuel Mazzara
,
Larisa Safina
,
Alexander Tchitchigin
Towards Static Type-checking for Jolie.
CoRR
(2017)