System F in Agda with well-scoped de Bruijn indices
-
Updated
Mar 12, 2024 - Agda
#
systemf
Here are 2 public repositories matching this topic...
A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.
-
Updated
Aug 17, 2023 - Haskell
Improve this page
Add a description, image, and links to the systemf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the systemf topic, visit your repo's landing page and select "manage topics."