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 Verified Cost Model for Call-By-Push-Value

Zhuo Zoey Chen, Johannes Åman Pohjola, Christine Rizkallah. A Verified Cost Model for Call-By-Push-Value. In Yannick Forster 0001, Chantal Keller, editors, 16th International Conference on Interactive Theorem Proving, ITP 2025, September 28 to October 1, 2025, Reykjavik, Iceland. Volume 352 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Authors

Zhuo Zoey Chen

This author has not been identified. Look up 'Zhuo Zoey Chen' in Google

Johannes Åman Pohjola

This author has not been identified. Look up 'Johannes Åman Pohjola' in Google

Christine Rizkallah

This author has not been identified. Look up 'Christine Rizkallah' in Google
runs on