#

systemf

Here are 2 public repositories matching this topic...

fixxxedpoint / hou

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.

lambda-calculus polymorphic-types type-inference funcional-programming systemf

Updated Aug 17, 2023
Haskell

juniorxxue / system-f

System F in Agda with well-scoped de Bruijn indices

agda debruijn-indices systemf

Updated Mar 12, 2024
Agda

Improve this page

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