External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Sound Type System for Secure Currency Flow

Luca Aceto, Daniele Gorla, Stian Lybech. A Sound Type System for Secure Currency Flow. In Jonathan Aldrich, Guido Salvaneschi, editors, 38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-20, 2024, Vienna, Austria. Volume 313 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Daniele Gorla

This author has not been identified. Look up 'Daniele Gorla' in Google

Stian Lybech

This author has not been identified. Look up 'Stian Lybech' in Google
runs on