Francesco Mazzoli

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 2

Top Topics

Spatio Temporal

Query Processor

Relational Calculus

Top Venues

Publications

Alexander Bernauer, Sofia Faro, Rémy Haemmerle, Martin Huschenbett, Moritz Kiefer, Andreas Lochbihler, Jussi Mäki, Francesco Mazzoli, Simon Meier, Neil Mitchell, Ratko G. Veprek
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. CoRR (2023)
Francesco Mazzoli, Andreas Abel
Type checking through unification. CoRR (2016)