Hi, I'm Bill. I'm a software developer with a passion for making and electronics. I do a lot of things and here is where I ...

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 ...