GitHub topics: unsound
namin/unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
Language: HTML - Size: 257 KB - Last synced at: about 18 hours ago - Pushed at: over 1 year ago - Stars: 76 - Forks: 5
chameco/bramble
dependently-typed lisp with flexible compiler backends
Language: Haskell - Size: 73.2 KB - Last synced at: about 5 hours ago - Pushed at: almost 6 years ago - Stars: 27 - Forks: 1
Related Keywords