No. Title Author Year
1 Strongly Normalizing Higher-Order Relational Queries Ricciotti, Wilmer et al. 2020
2 muPuppet: A Declarative Subset of the Puppet Configuration Language Fu, Weili et al. 2017
3 Strongly Normalizing Audited Computation Ricciotti, Wilmer et al. 2017
4 Causally Consistent Dynamic Slicing Perera, Roly et al. 2016
5 Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511) Cheney, James et al. 2015
6 Principles of Provenance (Dagstuhl Seminar 12091) Cheney, James et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 6

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI