Higher-Order Modules is a module system feature that enables modules to be parameterized by other modules, thereby supporting modular abstractions of higher arity and facilitating reuse and composition at the module level.
77
Publications
3.6K
Citations
125
Authors
91
Institutions
Publications per year
2017–2026
11
Parents
Publications
77
A type-theoretic approach to higher-order modules with sharing
Robert Harper, Mark Lillibridge · 1994 · 291 citations · Full text
Higher-order modules and the phase distinction
Robert Harper, John C. Mitchell, Eugenio Moggi · 1990 · 156 citations
1–5 of 77
Authors
125
- AR
5
h-index
- DD
4
h-index
- RH
4
h-index
- SD
3
h-index
- JB
2
h-index
1–5 of 125
Institutions
91
University of Washington
Seattle, United States
5 h-index
9 publications
736 citations
Carnegie Mellon University
Pittsburgh, United States
4 h-index
8 publications
1.3K citations
Max Planck Institute for Software Systems
Saarbrücken, Germany
3 h-index
4 publications
127 citations
University of Copenhagen
Copenhagen, Denmark
3 h-index
6 publications
105 citations
Yale University
New Haven, United States
3 h-index
4 publications
143 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
2 h-index
2 publications
153 citations
University of Edinburgh
Edinburgh, United Kingdom
2 h-index
4 publications
73 citations
University of Cambridge
Cambridge, United Kingdom
2 h-index
2 publications
174 citations
1–8 of 91
Venues
- Journal of Algebra
15 publications · 465 citations
13
h-index
- Journal of Functional Programming
4 publications · 188 citations
4
h-index
- Advances in Mathematics
3 publications · 270 citations
3
h-index
- Communications in Mathematical Physics
3 publications · 164 citations
3
h-index
- Communications in Algebra
3 publications · 152 citations
3
h-index
1–5