Concepedia

Module Calculus

Module Calculus is a formal system within the theory of programming languages that belongs to the category of module systems and is distinguished by providing a syntactic and semantic framework for reasoning about the structure, composition, and instantiation of modules in a principled and mathematically rigorous manner.

84

Publications

4K

Citations

126

Authors

87

Institutions

Publications per year

2017–2026

6

Parents

Publications

84

Elementary divisors and modules

Irving Kaplansky · Transactions of the American Mathematical Society · 1949 · 387 citations · Full text

, , +9

Modules over Dedekind rings and valuation rings

Irving Kaplansky · Transactions of the American Mathematical Society · 1952 · 306 citations

, , +9

Tame Algebras and Generic Modules

William Crawley-Boevey · Proceedings of the London Mathematical Society · 1991 · 182 citations

, , +11

Module algebra

J.A. Bergstra, Jan Heering, Paul Klint · Journal of the ACM · 1990 · 169 citations · Full text

, , +10

Higher-order modules and the phase distinction

Robert Harper, John C. Mitchell, Eugenio Moggi · 1990 · 156 citations

, , +16

1–5 of 84

Authors

126

  1. RH
    Robert Harper

    Carnegie Mellon University, United States

    4 publications · 324 citations

    4

    h-index

  2. IK
    Irving Kaplansky

    University of Chicago, United States

    4 publications · 841 citations

    4

    h-index

  3. LS
    Luigi Salce

    University of Padua, Italy

    2 publications · 32 citations

    2

    h-index

  4. EM
    Eugenio Moggi

    University of Genoa, Italy

    2 publications · 190 citations

    2

    h-index

  5. HL
    Haisheng Li

    Rutgers, The State University of New Jersey, United States

    1 publications · 56 citations

    1

    h-index

1–5 of 126

Institutions

87

  1. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    6 publications

    467 citations

  2. Yale University

    New Haven, United States

    2 h-index

    2 publications

    149 citations

  3. University of California, Berkeley

    Berkeley, United States

    2 h-index

    2 publications

    75 citations

  4. Massachusetts Institute of Technology

    Cambridge, United States

    2 h-index

    2 publications

    77 citations

  5. University of Padua

    Padua, Italy

    2 h-index

    3 publications

    54 citations

  6. The Ohio State University at Lima

    Lima, United States

    2 h-index

    3 publications

    147 citations

  7. Universitat Autònoma de Barcelona

    Cerdanyola del Vallès, Spain

    2 h-index

    3 publications

    97 citations

  8. Lomonosov Moscow State University

    Moscow, Russia

    1 h-index

    1 publications

    16 citations

1–8 of 87

Venues

  1. Journal of Algebra

    8 publications · 253 citations

    9

    h-index

  2. Journal of Pure and Applied Algebra

    6 publications · 220 citations

    6

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 5 publications · 861 citations

    5

    h-index

  4. Communications in Algebra

    4 publications · 123 citations

    4

    h-index

  5. arXiv (Cornell University)

    Repository · 3 publications · 150 citations

    3

    h-index

1–5