People who want to learn an additional language often download Duolingo. The popular language-learning resource dominated app ...

In this paper, we argue that strong-typed programming languages and paradigms offer a valid support for the production of reliable programs. Aware of the challenges of formal measurement metrics for ...