skip to main content

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.