Papers are linked here https://www.scallop-lang.org/resources.html https://www.scallop-lang.org/resources.html https://www.cis.upenn.edu/~mhnaik/papers/neurips

Papers are linked here https://www.scallop-lang.org/resources.html https://www.scallop-lang.org/resources.html https://www.cis.upenn.edu/~mhnaik/papers/neurips21.pdf https://www.cis.upenn.edu/~mhnaik/papers/neurips21.pdf https://dl.acm.org/doi/10.1145/3591280 https://dl.acm.org/doi/10.1145/3591280 There is a 135 page book on Scallop https://www.cis.upenn.edu/~mhnaik/papers/fntpl24.pdf https://www.cis.upenn.edu/~mhnaik/papers/fntpl24.pdf