Are there any academic papers for understanding Daml's language-based security and modularity?

Got 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.

I’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.

2 Likes