Tony's Wiki

Tag: topic/recursive-module

14 items with this tag.

Oct 14, 2025
OCaml type checking recursive modules
Oct 10, 2025
未命名 2
Oct 08, 2025
Recursive type generativity
Oct 08, 2025
Recursive type generativity
Oct 07, 2025
Cyclic type definitions in OCaml with opaque sealing
Oct 07, 2025
Double Vision Problem - Abstract Types vs. Unconstrained Aliases in Recursive Modules
Oct 02, 2025
Jargon of Modules
Oct 01, 2025
A Type System for Recursive Modules
Sep 30, 2025
Elaboration of Recursively Dependent Signatures
Sep 30, 2025
Formalizing Recursive Modules
Sep 30, 2025
Opacity Revisited in Recursive Modules
Sep 30, 2025
Retrofitting and strengthening the ML module system
Sep 30, 2025
Singleton kinds
Sep 30, 2025
What is a recursive module?

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community