Concepedia

Functor Modules

Functor Modules is a modular programming construct in the context of module systems that enables parameterized modules through which one module can be transformed into another by mapping over their type and value components in a type-safe manner.

139

Publications

4.9K

Citations

200

Authors

136

Institutions

Publications per year

2017–2026

14

Parents

Publications

139

A Modular Functor Which is Universal¶for Quantum Computation

Michael Freedman, Michael Larsen, Zhenghan Wang · Communications in Mathematical Physics · 2002 · 532 citations

, , +11

Khovanov’s homology for tangles and cobordisms

Dror Bar-Natan · Geometry & Topology · 2005 · 479 citations · Full text

, , +16

Semantical analysis of higher-order abstract syntax

Martin Hofmann · 2003 · 176 citations

, , +12

Applicative functors and fully transparent higher-order modules

Xavier Leroy · 1995 · 140 citations · Full text

, , +16

The spectrum of a module category

Henning Krause · Memoirs of the American Mathematical Society · 2001 · 108 citations

, , +14

1–5 of 139

Authors

200

  1. CS
    Catharina Stroppel

    University of Bonn, Germany

    3 publications · 226 citations

    3

    h-index

  2. BZ
    Bin Zhu

    Tsinghua University, China

    2 publications · 24 citations

    2

    h-index

  3. JA
    Joseph A. Wolf

    University of California, Berkeley, United States

    2 publications · 61 citations

    2

    h-index

  4. ZW
    Zhenghan Wang

    Microsoft (United States), United States

    2 publications · 549 citations

    2

    h-index

  5. SC
    S. Caenepeel

    Vrije Universiteit Brussel, Belgium

    2 publications · 78 citations

    2

    h-index

1–5 of 200

Institutions

136

  1. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    3 publications

    92 citations

  2. University of California, Santa Barbara

    Santa Barbara, United States

    3 h-index

    8 publications

    208 citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    3 publications

    68 citations

  4. University of Padua

    Padua, Italy

    3 h-index

    6 publications

    253 citations

  5. Rutgers, The State University of New Jersey

    New Brunswick, United States

    3 h-index

    3 publications

    126 citations

  6. Microsoft (United States)

    Redmond, United States

    3 h-index

    6 publications

    632 citations

  7. University of Tsukuba

    Tsukuba, Japan

    3 h-index

    3 publications

    43 citations

  8. Laboratoire de Mathématiques Jean Leray

    Nantes, France

    2 h-index

    2 publications

    33 citations

1–8 of 136

Venues

  1. Journal of Algebra

    24 publications · 588 citations

    15

    h-index

  2. Communications in Algebra

    11 publications · 166 citations

    10

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 7 publications · 243 citations

    7

    h-index

  4. Journal of Pure and Applied Algebra

    7 publications · 121 citations

    7

    h-index

  5. Advances in Mathematics

    3 publications · 55 citations

    3

    h-index

1–5