Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verified type checker for Jolie programming language   Jolie is a service-oriented programming language which comes with the formal
specification of its type system. However, there is no tool to ensure that
programs in Jolie are well-typed. In this paper we provide the results of
building a type checker for Jolie as a part of its syntax and semantics formal
model. We express the type checker as a program with dependent types in Agda
proof assistant which helps to ascertain that the type checker is correct.

33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th