Numl - A Strongly Typed Language for Numerical Accuracy In OPPORTUNITIES AND CHALLENGES for European Projects EPS Portugal 2017/2018 - Volume 1, 177-200, 2017