Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By ACM Press

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

scholarly journals Demand-driven incremental object queries

2016 ◽  
Author(s):  
Yanhong A. Liu ◽  
Jon Brandvein ◽  
Scott D. Stoller ◽  
Bo Lin

scholarly journals Actors may synchronize, safely!

2016 ◽  
Author(s):  
Elena Giachino ◽  
Ludovic Henrio ◽  
Cosimo Laneve ◽  
Vincenzo Mastandrea

scholarly journals Typechecking protocols with Mungo and StMungo

2016 ◽  
Author(s):  
Dimitrios Kouzapas ◽  
Ornela Dardha ◽  
Roly Perera ◽  
Simon J. Gay
Load More ...
Sign in / Sign up

Export Citation Format

Share Document