450ED8FE-1BF4-4E27-868E-2F8CED6C332BCamFort: Automated evolution and verification of computational science modelsResearch GrantEP/M026124/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL542082D466D382-46EA-4B52-AD76-44507F65C2B2Behavioural Types: from Theory to Tools8dcf9f047c567377068ec5b27922f9a7Dominic Orchard2017-01-019788793519824https://www.riverpublishers.com/research_details.php?book_id=4391Session types with linearity in Haskell219-241Book Chapter5c8787a23aeb20.08500273