Open AccessThe systems engineering of consistent pure language with effect type system for certified applications and higher languages
Author(s) -
Maksym Sokhatskyi,
Pavlo Maslianko
Publication year - 2018
Publication title -
aip conference proceedings
Language(s) - English
Resource type - Conference proceedings
eISSN - 1551-7616
pISSN - 0094-243X
DOI - 10.1063/1.5045439
Subject(s) - bytecode , computer science , erlang (programming language) , programming language , hol , proof assistant , type theory , usable , virtual machine , functional programming , type (biology) , mathematics , mathematical proof , ecology , geometry , world wide web , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom