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.

Effpi: verified message-passing programs in Dotty

Alceste Scalas, Nobuko Yoshida, Elias Benussi. Effpi: verified message-passing programs in Dotty. In Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom, editors, Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019. pages 27-31, ACM, 2019. [doi]

Authors

Alceste Scalas

This author has not been identified. Look up 'Alceste Scalas' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google

Elias Benussi

This author has not been identified. Look up 'Elias Benussi' in Google
runs on