search

flintrocks / flint

The Flint Programming Language for Smart Contracts
MIT License
2 stars 0 forks source link

Research fractional types #45

Open nvgrw opened 6 years ago

nvgrw commented 6 years ago

Read the fractional permissions paper and document findings

ethanluoyc commented 6 years ago

The paper is here https://pdfs.semanticscholar.org/f744/e6fe7b8d9f92205d3a407e0446369c5f02bd.pdf.

For a paper on linear types, see http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf