Are there any academic papers for understanding Daml's language-based security and modularity?
App Development2 posts271 views2 likesLast activity Jan 2021
AN
anthonyOP
Jan 2021Got this question during a Hyperledger NYC meetup. If you have any papers I’m sure they’d be of interest. My immediate thought is the one @Andreas_Lochbihler recently presented at CPP but not sure if there are others that might be a better fit.
popl21.sigplan.org
A semantic domain for privacy-aware smart contracts and interoperable sharded...
See: https://popl21.sigplan.org/home/CPP-2021?#call-for-lightning-talks
AN
Andreas_Lochbihler
Jan 2021I’m not aware of any academic paper that goes into much detail. There is a 2-page extended abstract though that was presented during CSF 2019’s poster session: A Structured Semantic Domain for Smart Contracts.
