Module Typing is a formal system that assigns types to modules in a programming language, specifying their interfaces and ensuring type safety through the abstraction and composition of module-level components.
20
Publications
1K
Citations
50
Authors
23
Institutions
Publications per year
2017–2026
1
Parents
Publications
20
Sam Tobin-Hochstadt, Matthias Felleisen · 2006 · 207 citations
Charles M. Geschke, James H. Morris, Edwin H. Satterthwaite · Communications of the ACM · 1977 · 162 citations · Full text
Higher-order modules and the phase distinction
Robert Harper, John C. Mitchell, Eugenio Moggi · 1990 · 156 citations
Zhong Shao, Andrew W. Appel · 1993 · 66 citations · Full text
1–5 of 20
Authors
50
- MT
1
h-index
- AW
1
h-index
- RH
1
h-index
- MLMarc Louis Joliat
1 publications · 14 citations
1
h-index
- JN
1
h-index
1–5 of 50
Institutions
23
University of Cambridge
Cambridge, United Kingdom
2 h-index
5 publications
316 citations
Affiliated Hospital of Youjiang Medical University for Nationalities
Baise City, China
1 h-index
1 publications
14 citations
Stanford University
Stanford, United States
1 h-index
1 publications
156 citations
Palo Alto Research Center
Palo Alto, United States
1 h-index
3 publications
486 citations
Bridge University
Juba, South Sudan
1 h-index
1 publications
156 citations
Princeton University
Princeton, United States
1 h-index
2 publications
132 citations
Utrecht University
Utrecht, The Netherlands
1 h-index
2 publications
20 citations
Uppsala University
Uppsala, Sweden
1 h-index
1 publications
30 citations
1–8 of 23
Venues
- Communications of the ACM
1 publications · 162 citations
1
h-index
- Journal of Functional Programming
1 publications · 40 citations
1
h-index
- Frontiers in Aging Neuroscience
1 publications · 14 citations
1
h-index
- Acta Informatica
1 publications · 53 citations
1
h-index
- Future Generation Computer Systems
FGCS · 1 publications · 32 citations
1
h-index
1–5