[TYPES] [ANN] InvarGenT: GADTs-based invariant/postcondition generation

Lukasz Stafiniak lukstafi at gmail.com
Wed Dec 11 16:29:33 EST 2013


I am pleased to release the first version of InvarGenT, a system that
performs full type inference for a type system with GADTs, and also
generates new GADTs to serve as existential types. In addition to algebraic
types, the first version handles linear arithmetic constraints.


Łukasz Stafiniak

More information about the Types-list mailing list