Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: status/ongoing
6 items with this tag.
Oct 14, 2025
OCaml type checking recursive modules
topic/recursive-module
context/inria
status/ongoing
type/project
Oct 10, 2025
未命名 2
type/literature-note
topic/recursive-module
context/inria
status/ongoing
Sep 30, 2025
Elaboration of Recursively Dependent Signatures
type/literature-note
topic/recursive-module
context/inria
status/ongoing
Sep 30, 2025
Opacity Revisited in Recursive Modules
type/literature-note
topic/recursive-module
context/inria
status/ongoing
Sep 30, 2025
What is a recursive module?
type/literature-note
topic/recursive-module
context/inria
status/ongoing
Sep 16, 2025
Formalization progress of controlled subtyping in Coq
type/moc
topic/distributivity
context/hkuplg
status/ongoing