wikidata.org
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
container_mht6wa2vdbg7dn6n6lws4hpzti
Homepage URLs
https://dl.acm.org/conference/ppdp/proceedings |
Example Publications
A Dependently Typed Linear π-Calculus in Agda
Luca Ciccone, Luca Padovani
2020
|
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
doi:10.1145/3414080.3414109 dblp:conf/ppdp/CicconeP20
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications
Abhiroop Sarkar, Mary Sheeran
2020
|
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
doi:10.1145/3414080.3414092 dblp:conf/ppdp/SarkarS20
The Machinery of Interaction
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2020
|
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
doi:10.1145/3414080.3414108 dblp:conf/ppdp/AccattoliLV20
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later
Franco Barbanera, Ugo de'Liguoro
2020
|
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
doi:10.1145/3414080.3414082 dblp:conf/ppdp/Barbanerad20
Typechecking protocols with Mungo and StMungo
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2016
|
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
doi:10.1145/2967973.2968595 dblp:conf/ppdp/KouzapasDPG16