An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
-
Updated
Mar 9, 2023 - Haskell
#
higher-rank-types
Here are 6 public repositories matching this topic...
bidirectional type checking algorithms for higher-ranked polymorphism
-
Updated
Mar 23, 2022 - Haskell
Bidirectional type checking for predicative System F
-
Updated
Jan 26, 2020 - OCaml
Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher-Rank Polymorphism).
-
Updated
May 11, 2022 - OCaml
implementation of HMF type system, for higher rank types
-
Updated
Jan 20, 2020 - Python
Sifu enhances AI assistants with advanced NLP features and robust knowledge management. 🌐 Its context-aware design supports seamless conversations in multiple languages. 🛠️
mysql heroku java algorithm ocaml blockchain semantic-ui data-structures icon validations 3d-vision solana github-config higher-rank-types pifuhd clothed-humans sifu clothed-people-digitalization
-
Updated
Jun 18, 2025 - Python
Improve this page
Add a description, image, and links to the higher-rank-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the higher-rank-types topic, visit your repo's landing page and select "manage topics."