#

algorithmic-subtyping

Here is 1 public repository matching this topic...

HuStmpHrrr / popl20-artifact

Artifact of the POPL paper Undecidability of D<: and Its Decidable Fragments

undecidability algorithmic-subtyping

Updated Feb 8, 2020
Coq

Improve this page

Add a description, image, and links to the algorithmic-subtyping 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 algorithmic-subtyping topic, visit your repo's landing page and select "manage topics."