Published May 20, 2021 | Version 1.0.0
Software Open

Catala: A Programming Language for the Law

Authors/Creators

  • 1. Inria
  • 2. Inria, ENS
  • 3. MSR

Description

Software artefact for the ICFP2021 paper https://arxiv.org/abs/2103.03198.

Files

catala-icfp21.zip

Files (2.4 GB)

Name Size Download all
md5:37a241fe4d1af92abb3c0c68ae54c49f
2.4 GB Download
md5:b4073d1b62a1e53be4fe04b69a4b47ab
1.0 MB Preview Download

Additional details

Related works

Is supplement to
https://arxiv.org/abs/2103.03198 (URL)

Funding

European Commission
CIRCUS - An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications 683032