@conference{Knec19a,
	address = {Zug, Switzerland},
	author = {Knecht, Markus},
	month = {jun},
	title = {SATOS: Storage Agnostic Tokens over Opaque and Substructural Types},
	year = {2019}
}