#

impredicative-types

Here are 2 public repositories matching this topic...

polytypic / f-omega-mu

Fωμ type checker and compiler

wip type-system hobby-project higher-kinded-types equirecursive-types structural-types impredicative-types

Updated Jan 28, 2023
OCaml

yiyunliu / system-f-omega

Strong normalization and parametricity for System Fω in Coq

lambda-calculus coq type-theory polymorphic-types denotational-semantics impredicative-types

Updated Sep 10, 2024
Coq

Improve this page

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