Tony's Wiki
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
00 Inbox
❯
Mixin modules
Mixin modules
Sep 09, 2025
1 min read
context/inria
type/project
topic/modules
Initial Paper Reading
Sept 9.
the
ICFP’96 - Mixin Modules
paper.
Graph View
Backlinks
Formalizing Recursive Modules
What is a recursive module?