Proceedings of the ACM on Programming Languages

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the ACM on Programming Languages
 
Publisher Herausgeber
Association for Computing Machinery
 
Place of publishing Erscheinungsort
New York
 
Volume Band
4
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian Monadic refinements for relational cost analysisKonferenzbeitrag Inproceedings 2018
2Aschieri, Federico ; Genco, Francesco A. Par means parallel: multiplicative linear logic proofs as concurrent functional programs"Konferenzbeitrag Inproceedings2020