#

unsound

Here are 2 public repositories matching this topic...

namin / unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

java scala oop meta-theory unsound

Updated Aug 20, 2023
HTML

chameco / bramble

dependently-typed lisp with flexible compiler backends

programming-language dependent-types lisp type-theory unsound

Updated May 24, 2019
Haskell

Improve this page

Add a description, image, and links to the unsound topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the unsound topic, visit your repo's landing page and select "manage topics."