- Linear Types Can Change the Blockchain, Lucius Gregory Meredith
- Computational interpretations of linear logic, Samson Abramsky
silky / blockchain-with-linear-types Goto Github PK
View Code? Open in Web Editor NEWThis project forked from haroldcarr/blockchain-with-linear-types
Implementation of paper "Linear types can change the blockchain!" (in Haskell)
License: BSD 3-Clause "New" or "Revised" License