Category Theory for Programming Languages is a theoretical framework that employs the formal structures and abstractions of category theory to model and analyze the semantics, type systems, and compositional properties of programming languages within the context of generic programming.
45
Publications
3.8K
Citations
60
Authors
40
Institutions
Publications per year
2017–2026
9
Parents
Publications
45
The essence of functional programming
Philip Wadler · 1992 · 676 citations · Full text
Philip Wadler · 1990 · 575 citations · Full text
Applicative programming with effects
Conor McBride, Ross Paterson · Journal of Functional Programming · 2007 · 402 citations · Full text
1–5 of 45
Authors
60
- SS
4
h-index
- PW
4
h-index
- US
3
h-index
- MD
2
h-index
- PW
2
h-index
1–5 of 60
Institutions
40
University of Edinburgh
Edinburgh, United Kingdom
6 h-index
6 publications
430 citations
University of Oxford
Oxford, United Kingdom
6 h-index
11 publications
217 citations
Radboud University Nijmegen
Nijmegen, The Netherlands
4 h-index
5 publications
98 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
2 h-index
2 publications
34 citations
University of Birmingham
Birmingham, United Kingdom
2 h-index
3 publications
76 citations
University of Duisburg-Essen
Essen, Germany
2 h-index
4 publications
80 citations
University of Illinois Urbana-Champaign
Urbana, United States
2 h-index
2 publications
36 citations
Queen Mary University of London
London, United Kingdom
2 h-index
2 publications
241 citations
1–8 of 40
Venues
- Mathematical Structures in Computer Science
MSCS · 6 publications · 478 citations
6
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 6 publications · 142 citations
6
h-index
- Journal of Functional Programming
3 publications · 535 citations
3
h-index
- arXiv (Cornell University)
Repository · 2 publications · 113 citations
2
h-index
- Theoretical Computer Science
2 publications · 44 citations
2
h-index
1–5