unsound

There are 0 repository under unsound topic.

namin / unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
java scala unsound meta-theory oop
Language:HTML 74
chameco / bramble
dependently-typed lisp with flexible compiler backends
dependent-types lisp programming-language type-theory unsound
Language:Haskell 25

namin / unsound