Overview

The goal of this project is to create a type checker which can automatically analyze Julia programs with respect to differential privacy guarantees.

This is a work in progress. We are implementing a type inference algorithm for Julia code based on the Duet type system and the corresponding haskell implementation.

On this page, you can find installation instructions as well as a quick guide and examples that should enable you to write your first typecheckable code. See the user reference and the documentation for all builtin functions for more.