45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian Monadic refinements for relational cost analysisKonferenzbeitrag Inproceedings 2018