Pure Functions
Pure Functions is a computational function that belongs to the class of deterministic functions and is distinguished by the absence of side effects and dependence solely on its input parameters to produce a return value, ensuring referential transparency.
61
Publications
2.8K
Citations
130
Authors
83
Institutions
Publications per year
2017–2026
12
Parents
61
Dependent types and multi-monadic effects in F*
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text
Elliptic Feynman integrals and pure functions
Johannes Broedel, Claude Duhr, Falko Dulat et al. · Journal of High Energy Physics · 2019 · 127 citations · Full text
1–5 of 61
130
3
h-index
3
h-index
2
h-index
Institut national de recherche en sciences et technologies du numérique, France
2 publications · 328 citations
2
h-index
2
h-index
1–5 of 130
83
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
5 h-index
17 publications
1.9K citations

Delft University of Technology
Delft, The Netherlands
4 h-index
6 publications
158 citations
Utrecht University
Utrecht, The Netherlands
3 h-index
3 publications
113 citations
Princeton University
Princeton, United States
2 h-index
2 publications
88 citations
IMDEA Software Institute
Pozuelo de Alarcón, Spain
2 h-index
2 publications
328 citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
2 h-index
4 publications
912 citations

Imperial College London
London, United Kingdom
2 h-index
2 publications
54 citations
Johannes Gutenberg University Mainz
Mainz, Germany
2 h-index
2 publications
250 citations
1–8 of 83
JHEP · 5 publications · 483 citations
5
h-index
AEM · 3 publications · 51 citations
3
h-index
PROC · 3 publications · 42 citations
3
h-index
PACMPL · 3 publications · 52 citations
3
h-index
2 publications · 76 citations
2
h-index
1–5