Recursive modules for programming
From MaRDI portal
Publication:5501459
Recommendations
Cited in
(8)- A type system for recursive modules
- Recursive structures for standard ML
- scientific article; zbMATH DE number 3995028 (Why is no real title available?)
- Recursive type generativity
- Path resolution for nested recursive modules
- Recursive Programs for Document Spanners
- A type system for well-founded recursion
- Recursive type generativity
This page was built for publication: Recursive modules for programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501459)