Skip to Main content Skip to Navigation
Conference papers

Type-Driven Verification of Non-functional Properties

Complete list of metadatas

Cited literature [61 references]  Display  Hide  Download

https://hal.inria.fr/hal-02314723
Contributor : Olivier Zendra <>
Submitted on : Tuesday, October 22, 2019 - 12:47:24 PM
Last modification on : Friday, October 23, 2020 - 4:47:44 PM
Long-term archiving on: : Thursday, January 23, 2020 - 12:31:13 PM

File

ppdp2019.pdf
Files produced by the author(s)

Identifiers

Citation

Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra. Type-Driven Verification of Non-functional Properties. PPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming, Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1145/3354166.3354171⟩. ⟨hal-02314723⟩

Share

Metrics

Record views

117

Files downloads

250