The K Framework – A Framework To Formally Define All Programming Languages
6/20/2018 10:57:44 AM
Epicenter podcast -- CS Professor Grigore Rosu talks about the K framework, as well as his work to create a new virtual machine called IELE specifically tailored to blockchain.