22nd International Symposium on Principles and Practice of Declarative Programming
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By ACM

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

scholarly journals The Machinery of Interaction

2020 ◽  
Author(s):  
Beniamino Accattoli ◽  
Ugo Dal Lago ◽  
Gabriele Vanoni

Moulinog: A Generator of Random Student Assignments Written in Prolog

2020 ◽  
Author(s):  
Gonzague Yernaux ◽  
Wim Vanhoof ◽  
Laurent Schumacher

scholarly journals A Dependently Typed Linear π-Calculus in Agda

2020 ◽  
Author(s):  
Luca Ciccone ◽  
Luca Padovani
Keyword(s):  
Π Calculus

scholarly journals Understanding Lua’s Garbage Collection

2020 ◽  
Author(s):  
Mallku Soldevila ◽  
Beta Ziliani ◽  
Daniel Fridlender
Keyword(s):  
Garbage Collection
Load More ...
Sign in / Sign up

Export Citation Format

Share Document