Concepedia

Module Semantics

Module Semantics is a formal specification within module systems that defines the meaning and behavior of modules and their interactions by delineating the computational effects, type interpretations, and interface constraints associated with module constructs.

124

Publications

5.4K

Citations

194

Authors

116

Institutions

Publications per year

2017–2026

6

Parents

Publications

124

1–5 of 124

Authors

194

  1. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    4 publications · 221 citations

    4

    h-index

  2. HE
    Hartmut Ehrig

    Technische Universität Berlin, Germany

    4 publications · 105 citations

    4

    h-index

  3. RH
    Robert Harper

    Carnegie Mellon University, United States

    4 publications · 323 citations

    4

    h-index

  4. AR
    Andreas Rossberg

    Max Planck Institute for Software Systems, Germany

    4 publications · 104 citations

    4

    h-index

  5. XL
    Xavier Leroy

    Université de Lille, France

    4 publications · 480 citations

    4

    h-index

1–5 of 194

Institutions

116

  1. Carnegie Mellon University

    Pittsburgh, United States

    8 h-index

    18 publications

    952 citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    6 h-index

    8 publications

    291 citations

  3. University of Edinburgh

    Edinburgh, United Kingdom

    4 h-index

    5 publications

    223 citations

  4. Microsoft (United States)

    Redmond, United States

    4 h-index

    4 publications

    87 citations

  5. AT&T (United States)

    Bedminster, United States

    4 h-index

    4 publications

    476 citations

  6. Stevens Institute of Technology

    Hoboken, United States

    4 h-index

    4 publications

    82 citations

  7. Stanford University

    Stanford, United States

    4 h-index

    5 publications

    656 citations

  8. University of Utah

    Salt Lake City, United States

    3 h-index

    4 publications

    258 citations

1–8 of 116

Venues

  1. Journal of Algebra

    9 publications · 317 citations

    9

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 176 citations

    6

    h-index

  3. 4

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 4 publications · 108 citations

    4

    h-index

  5. Proceedings of the London Mathematical Society

    3 publications · 211 citations

    3

    h-index

1–5