Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 21)

H-INDEX

2
(FIVE YEARS 2)

Published By ACM

9781450372497
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Type-Driven Verification of Non-functional Properties

2019 ◽  
Author(s):  
Christopher Brown ◽  
Adam D. Barwell ◽  
Yoann Marquer ◽  
Céline Minh ◽  
Olivier Zendra
Keyword(s):  
Functional Properties

scholarly journals Foundations of Session Types

2019 ◽  
Author(s):  
Giuseppe Castagna ◽  
Mariangiola Dezani-Ciancaglini ◽  
Elena Giachino ◽  
Luca Padovani
Keyword(s):  
Session Types
Load More ...
Sign in / Sign up

Export Citation Format

Share Document