Proceedings of the ACM on Programming Languages

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Proceedings of the ACM on Programming Languages
 
e-ISSN
2475-1421
 
Publisher Herausgeber
Association for Computing Machinery (ACM)
 
 
Peer reviewed Begutachtet
 
 
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]
Subject:  Software

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

PreviewAuthor(s)TitleTypeIssue Date
1Aschieri, Federico ; Genco, Francesco A. Par means parallel: multiplicative linear logic proofs as concurrent functional programs"Artikel Article 2020
2Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Randomized testing of distributed systems with probabilistic guaranteesArtikel Article 2018