OCaml program for JVM naive type inference and certificate translation [Download]
Android Studio source code for the type checker app [Download]
Android Studio source code for sample app [Download]
Variety of certificate for testing [Download]
APK for Type checker [Download]
APK for the test application [Download]
Coq Formalization of the type system soundness for DEX [Download]

Home