Articles by Nicolas Osborne

Getting Specific: Announcing the Gospel and Ortac Projects

Part of the benefit of open-source development is the opportunity to collaborate on projects across traditional organisational boundaries, such as academia and industry. Tarides is part of a larger effort to develop a behavioural specification language and associated tooling for OCaml. The project c…