Tony's Wiki

Tag: topic/recursive-module

18 items with this tag.

Dec 11, 2025
Recursive modules for programming
Dec 04, 2025
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types
Oct 14, 2025
OCaml type checking recursive modules
Oct 10, 2025
Recursive Module Discussion
Oct 09, 2025
Recursive Module Playground
Oct 08, 2025
A Formal Treatment of Recursive Modules in the M-omega Framework
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 06, 2025
ocaml abstract signature
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