Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
linear types
file
Coblenz_Can_Advanced_Type_Systems_Be_Usable_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:29pm
typestate
smart contracts
permissions
ownership
linear types
empirical studies of programming languages
blockchain
assets
Obsidian Language for Blockchain
biblio
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:29pm
assets
blockchain
empirical studies of programming languages
linear types
ownership
permissions
smart contracts
typestate
CMU
Obsidian Language for Blockchain
2021: January
