From the Move programming language paper: "semantics inspired by linear logic". Any even more technical references? Anybody knows anybody who really work(ed) on Move? Academic? Otherwise? I'm interested because of my "poured only once" current project http://imar.ro/~mbuliga/hapax.html
> Anybody knows anybody who really work(ed) on Move?
The authors are listed in the PDF
Thank you. I meant to ask for others than the authors. Probably the repository is the best resource...
... I notice now that it uses the gas mechanism from Ethereum. Less interesting than I thought.