45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)
Event name
45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)
Start date
10-01-2018
End date
12-01-2018
Location
Los Angeles
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian | Monadic refinements for relational cost analysis | Konferenzbeitrag Inproceedings ![]() | 2018 |