About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
Journal of Functional Programming
›
top-authors
›
articles
›
lifetime
Journal of Functional Programming
1.0
(top 50%)
impact factor
1.0K
(top 20%)
papers
15.5K
(top 10%)
citations
59
(top 10%)
h
-index
1.1
(top 50%)
extended IF
1.0K
all documents
16.6K
doc citations
94
(top 10%)
g
-index
Top Authors (by articles)
#
Author
Articles
Citations
R ARank
R CRank
1
Graham Hutton
24
40
1
1
2
Ralf Hinze
18
284
1
1
3
Stephanie Weirich
9
251
3
2
4
Colin Runciman
8
96
1
1
4
Jeremy Gibbons
8
162
3
2
4
Conor Thomas McBride
8
683
1
1
7
Andrew W Appel
7
139
3
6
7
Philip Wadler
7
217
2
3
7
Robert Harper
7
137
1
2
7
Olivier Danvy
7
143
3
5
7
Greg Morrisett
7
216
1
2
12
Tom Schrijvers
6
144
4
3
12
Pieter H Hartel
6
57
2
6
12
Karl Crary
6
119
1
2
12
Dominique Devriese
6
30
3
3
12
Shin-Cheng Mu
6
33
2
3
12
Peter Thiemann
6
76
1
1
12
Patrik Jansson
6
122
2
2
12
Andreas Abel
6
96
1
1
12
Simon Peyton Jones
6
276
2
2
12
Benjamin C Pierce
6
268
1
2
22
Amr Sabry
5
109
3
3
22
Gilles Barthe
5
101
3
4
22
Richard
5
1
1
2
22
Simon Peyton Jones
5
37
1
2
22
Andrew D Gordon
5
61
2
7
22
Jens Palsberg
5
111
4
2
22
Conor Mcbride
5
346
2
1
29
Henrik Nilsson
4
91
3
2
29
Matija Pretnar
4
45
1
3
29
Oleg Kiselyov
4
235
2
1
29
Michael Sperber
4
58
1
1
29
Andrew D Gordon
4
36
1
1
29
Scott Owens
4
243
3
3
29
Daniel R Licata
4
70
2
1
29
Tobias Nipkow
4
74
3
9
29
Jesper Cockx
4
14
1
2
29
Henk Barendregt
4
52
1
2
29
Colin Runciman
4
90
1
1
40
Ricardo Vicente PeÑa Mari
3
137
2
1
40
Frank Piessens
3
19
4
13
40
Johan Jeuring
3
44
3
7
40
Peter Sewell
3
131
3
4
40
Wouter Swierstra
3
3
1
1
40
Brigitte Pientka
3
52
2
2
40
Peter Achten
3
8
1
1
40
Robert Atkey
3
31
1
1
40
Thorsten Altenkirch
3
68
3
3
40
Éric Tanter
3
27
4
9
40
Patricia Johann
3
37
1
1
40
Luca Cardelli
3
155
10
12
40
Nicola Botta
3
13
1
1
40
Vasco Thudichum Vasconcelos
3
141
3
2
40
Jeremy G Siek
3
48
3
3
40
Paul Downen
3
10
3
2
40
Patrick Bahr
3
12
1
1
40
Peter J Stuckey
3
93
7
8
40
Akimasa Morihata
3
3
3
5
40
Rafael Dueire Lins
3
57
4
5
40
Ilya Sergey
3
15
3
4
40
Lukasz Ziarek
3
29
1
2
40
Beta Ziliani
3
33
1
1
40
Mark P Jones
3
72
1
2
40
Matthias Felleisen
3
365
4
2
40
Paul Hudak
3
71
3
4
40
Pierre Lescanne
3
124
2
1
40
Anil Madhavapeddy
3
2
1
7
40
Matthew Fluet
3
67
2
1
40
Matthew Flatt
3
297
2
1
40
Umut A Acar
3
30
3
6
40
Shriram Krishnamurthi
3
248
3
1
40
Mitchell Wand
3
50
4
9
73
James Mckinna
2
235
1
1
73
Andrew Pitts
2
16
3
7
73
Meng Wang
2
20
4
5
73
Mauro Jaskelioff
2
35
1
1
73
Eugenio Moggi
2
64
6
4
73
Zhong Shao
2
14
3
5
73
Nobuko Yoshida
2
13
18
38
73
Viktor Vafeiadis
2
44
3
5
73
Catalin Hritcu
2
29
2
1
73
Jacques Carette
2
202
3
1
73
James Chapman
2
12
2
4
73
Deepak Garg
2
9
1
4
73
Valeria de Paiva
2
69
5
3
73
Ohad Kammar
2
36
1
1
73
Simon John Thompson
2
13
2
8
73
Hsiang-Shang Ko
2
34
2
1
73
Greg Michaelson
2
42
1
2
73
K C Sivaramakrishnan
2
22
1
1
73
Hyeonseung Im
2
2
1
9
73
Guillaume Allais
2
20
1
1
73
Kevin Hammond
2
53
4
4
73
Michael Hanus
2
61
5
6
73
Atsushi Igarashi
2
29
6
7
73
Norman Ramsey
2
6
3
6
73
Ville Tirronen
2
46
1
5
73
Neil Sculthorpe
2
11
2
2
73
Martin Erwig
2
8
1
3
73
Andres Löh
2
47
4
4
73
Eerke A Boiten
2
5
5
12
73
Andrea Asperti
2
45
6
6
73
Kazutaka Matsuda
2
20
1
1
73
Ivan Perez
2
7
1
2
73
Ruben P Pieters
2
3
1
1
73
Limsoon Wong
2
104
20
21
73
Sam Tobin-Hochstadt
2
12
3
4
73
Gabriele Keller
2
41
3
4
73
Mary Sheeran
2
0
1
3
73
Nuria Brede
2
6
1
1
73
Christine Rizkallah
2
19
2
2
73
Torsten Grust
2
0
1
3
73
Masahito Hasegawa
2
22
3
3
73
Martin Sulzmann
2
151
3
1
73
Andy Gill
2
60
3
1
73
Herman Geuvers
2
112
3
2
73
Dimitrios Vytiniotis
2
219
2
1
73
Jean-Philippe Bernardy
2
64
1
1
73
Hongwei Xi
2
72
1
2
73
Jurriaan Hage
2
2
2
9
73
Erik Meijer
2
55
2
3
73
Aarne Ranta
2
125
3
1
73
Francois Major
2
5
4
21
73
Suresh Jagannathan
2
28
3
6
73
Martin Abadi
2
25
6
18
73
Jean-Christophe Filliâtre
2
66
2
2
73
Peter Thiemann
2
69
3
3
73
Mike Rainey
2
53
2
1
73
John Reppy
2
53
2
1
73
Andrew M Pitts
2
16
5
10
73
David Walker
2
52
3
6
73
François Pottier
2
24
4
7
73
Hugh Glaser
2
2
1
4
73
Francesco Zappa Nardelli
2
128
2
2
73
Bruno C D S Oliveira
2
57
1
1
73
Mary Sheeran
2
10
2
6
73
Peter Gammie
2
2
1
2
140
Yanpeng Yang
1
4
1
1
140
Anton Setzer
1
7
4
8
140
Stephan Adelsberger
1
7
1
1
140
Owen Kaser
1
6
4
9
140
Alejandro Aguirre
1
8
1
2
140
Frédéric Besson
1
7
3
3
140
Alan Mycroft
1
1
5
12
140
Yong Kiam Tan
1
24
2
2
140
Stephen Lack
1
7
9
13
140
Ben Greenman
1
11
2
1
140
Sam Caldwell
1
0
1
0
140
Amy P Felty
1
15
4
4
140
Paolo Manghi
1
17
9
10
140
Aart Middeldorp
1
40
9
8
140
Chris Heunen
1
32
8
3
140
Daniel Hirschkoff
1
17
2
2
140
Frédéric Blanqui
1
2
4
7
140
Shin-ya Katsumata
1
5
3
5
140
Antal Spector-Zabusky
1
7
1
1
140
Arthur Charguéraud
1
14
2
3
140
Lukas Convent
1
23
1
1
140
Dmitriy Traytel
1
3
5
6
140
Jacques Garrigue
1
5
4
5
140
Ferruccio Damiani
1
11
12
16
140
Max S New
1
1
1
1
140
Stef Mm Joosten
1
32
3
2
140
Amanda Clare
1
0
3
12
140
Yao Li
1
7
1
2
140
Gerwin Klein
1
12
7
14
140
James Noble
1
14
6
17
140
Alberto E De La Encina
1
11
2
2
140
Luca Padovani
1
42
6
6
140
Jonathan Immanuel BrachthÄuser
1
20
1
1
140
Chris Hankin
1
11
7
20
140
Giovanni Pani
1
3
1
1
140
Hong Zhu
1
11
8
16
140
Anders Mörtberg
1
10
2
1
140
Andrea Vezzosi
1
10
1
1
140
Konstantinos Sagonas
1
7
8
15
140
Žiga LukŠiČ
1
5
1
1
140
Judith Borghouts
1
8
2
2
140
Mike Joy
1
6
14
27
140
Jeffrey Mark Siskind
1
10
3
6
140
Enrico Tronci
1
0
9
29
140
Naoki Kobayashi
1
2
9
16
140
Mario Florido
1
8
4
5
140
Jonathan Sterling
1
0
1
2
140
Giorgio Ghelli
1
17
9
8
140
Tarmo Uustalu
1
3
9
15
140
Dariusz Biernacki
1
8
5
7
140
Saverio Perugini
1
0
2
4
140
Bernd Fischer
1
74
6
3
140
Christopher Clack
1
11
2
5
140
Reynald Affeldt
1
5
4
6
140
Andrey Mokhov
1
7
2
2
140
Eric L Seidel
1
2
3
3
140
Joachim Niehren
1
5
9
15
140
Michael Hicks
1
3
6
13
140
João Costa Seco
1
4
1
4
140
Emanuele Covino
1
3
1
2
140
Rena Bakhshi
1
1
2
18
140
Makoto Hamana
1
5
3
3
140
Bruce M Kapron
1
28
3
4
140
Hideya Iwasaki
1
2
7
9
140
Jana Dunfield
1
20
1
1
140
Sabine Broda
1
1
6
8
140
Anthony Power
1
7
7
8
140
Jesús Aransay
1
4
4
4
140
Nicolas Wu
1
3
3
4
140
Niels Hallenberg
1
5
2
3
140
Alex Potanin
1
14
3
5
140
Susmit Sarkar
1
99
3
4
140
Kristoffer Just Arndal Andersen
1
1
1
1
140
Aleksandar Nanevski
1
37
2
3
140
Marcel Turcotte
1
1
3
14
140
David Sabel
1
24
4
3
140
Jose Divasón
1
4
3
4
140
Thomas Van Strydonck
1
4
1
1
140
Gudula Rünger
1
7
7
6
140
Advait Sarkar
1
8
1
1
140
Reinhard Wilhelm
1
3
4
7
140
Bernhard Reus
1
78
6
2
140
Peter Sestoft
1
142
2
1
140
Silvano Dal Zilio
1
10
4
5
140
Martin Elsman
1
5
3
6
140
Davide Ancona
1
60
4
2
140
Carlo Sartiani
1
17
2
3
140
John Derrick
1
0
12
20
140
Elena Zucca
1
60
4
1
140
Gustavo Betarte
1
3
2
5
140
Dominic Orchard
1
0
3
8
140
Niccolò Veltri
1
3
3
4
140
Tomas Petricek
1
1
1
1
140
David R Lester
1
20
6
9
140
Ralph Matthes
1
11
5
5
140
Yuya Tsuda
1
5
1
1
140
Kohei Suenaga
1
2
3
5
140
Konstantin Läufer
1
30
2
4
140
Kavi Arya
1
15
1
3
140
Kento Emoto
1
2
1
3
140
Michael Webster
1
4
8
11
140
Koen Claessen
1
20
3
3
140
Ichiro Hasuo
1
32
9
4
140
Bhargav Shivkumar
1
1
2
4
140
Xuejing Huang
1
4
1
1
140
Sven-Bodo Scholz
1
118
6
1
140
Yannick Forster
1
17
3
3
140
Pablo Nogueira Iglesias
1
3
1
1
140
Lloyd Allison
1
14
9
11
140
Zhenjiang Hu
1
2
3
8
140
Noel J Walkington
1
8
10
15
140
Andrew J Lumsdaine
1
45
12
12
140
Andrzej Filinski
1
0
1
0
140
Álvaro García-Pérez
1
3
2
3
140
Carlo Angiuli
1
6
1
1
140
J Strother Moore
1
25
3
6
140
Bryn Keller
1
0
1
0
140
Phil Trinder
1
6
4
6
140
Jürgen Giesl
1
40
7
7
140
Robert Sison
1
1
1
1
140
Simone Dal Zilio
1
10
11
24
140
Robert Stewart
1
6
2
7
140
Michael Codish
1
0
9
15
140
Barak A Pearlmutter
1
10
10
22
140
Marino Miculan
1
26
4
5
140
Alberto Momigliano
1
14
6
6
140
Prabhakar Ragde
1
0
3
5
140
Weihao Qu
1
1
1
1
140
Alicia Villanueva
1
0
4
6
140
Michael Norrish
1
24
3
3
140
Venanzio Capretta
1
62
4
3
140
Lars Birkedal
1
179
4
2
140
Clara Segura
1
3
4
4
140
Roger B Dannenberg
1
0
2
10
140
Keisuke Nakano
1
1
4
10
140
Yoichi Hirai
1
10
2
2
140
Jan de Muijnck-Hughes
1
0
1
0
140
Paola Giannini
1
11
10
9
140
Silvia Ghilezan
1
20
8
5
140
Michal Konecny
1
6
3
5
140
Manfred Broy
1
12
13
24
140
Mirko Viroli
1
24
16
25
140
Liam O'Connor
1
12
3
2
140
Clemens Grelck
1
40
6
3
140
Peter Selinger
1
17
7
9
140
Ivan Scagnetto
1
26
5
4
140
Nicolas Tabareau
1
14
5
8
140
Joachim Breitner
1
4
2
3
140
Sergei Gorlatch
1
20
8
8
140
Cezar Ionescu
1
7
1
1
140
Jan Vitek
1
22
7
13
140
Alessandra Di Pierro
1
11
7
9
140
Diomidis Spinellis
1
10
22
41
140
Tyng-Ruey Chuang
1
0
5
9
140
Takafumi Saikawa
1
5
2
2
140
Marco T MorazÁn
1
41
2
1
140
Erik Barendsen
1
5
3
5
140
Daniel Hillerström
1
17
2
2
140
Matt McCutchen
1
8
1
1
140
Torben Ægidius Mogensen
1
70
3
1
140
William R Cook
1
11
2
3
140
Beniamino Accattoli
1
10
2
3
140
Stien Vanderhallen
1
4
1
2
140
KLAAS PRUIKSMA
1
3
1
1
140
Westley Weimer
1
2
6
13
140
Martin Lange
1
0
6
17
140
Marko Van Eekelen
1
3
2
6
140
Matthieu Sozeau
1
5
2
5
140
Mark-Jan Nederhof
1
85
4
2
140
Edwin Brady
1
196
1
1
140
Sebastian Hunt
1
26
3
4
140
Maarten De Mol
1
3
1
2
140
Alan Bundy
1
17
11
11
140
Jaakko Järvi
1
45
2
1
140
Andrew Ireland
1
17
4
4
140
Kurt Nørmark
1
8
1
1
140
Scott F Smith
1
299
1
1
140
David Aspinall
1
6
1
3
140
Kwanghoon Choi
1
8
2
3
140
Hongseok Yang
1
5
5
8
140
Robert Atkey
1
76
1
1
140
Huiqing Li
1
7
2
3
140
Christoph Koch
1
21
7
8
140
Manuel M T Chakravarty
1
29
2
2
140
Peter Lindsay
1
14
3
1
140
Ryan Culpepper
1
12
2
3
140
Oliver Friedmann
1
0
3
8
140
Gérard Huet
1
48
2
3
140
Michael Fourman
1
0
1
0
140
Bharat Jayaraman
1
5
7
12
140
Andrew Kennedy
1
40
2
1
140
Frank Pfenning
1
37
9
10
140
Maciej Bendkowski
1
2
2
3
140
Gregory J Duck
1
55
3
2
140
Michael Greenberg
1
9
1
1
140
Ronald Garcia
1
45
1
1
140
Jörg Endrullis
1
1
4
12
140
Ian A Mason
1
299
4
1
140
Christina Pavlopoulou
1
31
1
2
140
Luc Maranget
1
45
3
3
140
Robin Abraham
1
40
1
4
140
Moa Johansson
1
18
3
3
140
Leonidas Fegaras
1
12
2
3
140
Carolyn Talcott
1
126
4
1
140
Amir Shaikhha
1
21
2
3
140
John C Mitchell
1
103
4
2
140
Pierre Jouvelot
1
159
2
1
140
Henk Muller
1
2
2
4
140
Barry Jay
1
35
2
1
140
Christian Prehofer
1
25
1
1
140
Lars Bergstrom
1
10
1
1
140
Conal Elliott
1
97
1
1
140
Fritz Henglein
1
5
3
8
140
Tian Zhao
1
22
3
7
140
Torben Amtoft
1
18
4
6
140
Karthikeyan Bhargavan
1
26
2
3
140
Peter Fritzson
1
49
6
3
140
Johann Schumann
1
74
3
2
140
Peter Achten
1
49
3
2
140
Chung-Chieh Shan
1
202
4
1
140
Eduardo Bonelli
1
45
4
2
140
Martin Odersky
1
84
4
5
140
Masato Takeichi
1
0
4
13
140
Cédric Fournet
1
26
7
9
140
Willem G Vree
1
4
1
2
140
Oege De Moor
1
39
1
1
140
David A Naumann
1
108
3
1
140
John O'leary
1
39
2
1
140
Adriana Compagnoni
1
45
5
2
140
John Power
1
7
6
9
140
Tiark Rompf
1
3
4
8
140
Alan Jeffrey
1
19
4
5
140
Martin Berger
1
3
2
6
140
Dan Grossman
1
19
3
3
140
Pierre-Etienne Moreau
1
39
3
4
140
Pierre-Evariste Dagand
1
13
1
1
140
Yolanda Ortega-MallÉn
1
123
3
1
140
Jeremy Yallop
1
19
1
1
140
Mark Lillibridge
1
7
1
3
140
Klaas Van Den Berg
1
32
1
3
140
Tom Melham
1
39
1
1
140
Marcin Zalewski
1
6
1
1
140
Neil Mitchell
1
7
2
3
140
Herbert Wiklicky
1
11
3
5
140
Matthias Blume
1
56
2
1
140
Dave Clarke
1
14
6
9
140
Kevin Millikin
1
12
2
4
140
Nick Benton
1
40
3
2
140
Johannes Borgström
1
7
4
6
140
Simon J Gay
1
131
3
2
140
Robert Glück
1
31
6
5
140
Amr Hany Saleh
1
4
1
1
140
Hai Liu
1
14
2
2
140
John Maraist
1
84
1
1
140
Dario Colazzo
1
17
2
3
140
Emir Pasalic
1
30
1
1
140
Koen Claessen
1
50
2
1
140
Thomas Jensen
1
7
6
6
140
Kwangkeun Yi
1
3
5
9
140
John T O'donnell
1
7
2
2
140
Richard Jones
1
30
2
1
140
Jim Grundy
1
39
1
1
140
Margaret Burnett
1
127
9
5
140
Andrei Sabelfeld
1
3
3
6
140
Gerth Stølting Brodal
1
25
4
6
140
Wolfgang Grieskamp
1
51
3
5
140
Peter Stuckey
1
26
2
2
140
Sjaak Smetsers
1
6
2
3
140
Roberto Di Cosmo
1
8
4
10
140
Janis Voigtländer
1
16
3
3
140
Christoph Kreitz
1
15
5
5
140
Rinus Plasmeijer
1
49
3
2
140
Nikhil Swamy
1
26
3
4
140
Cormac Flanagan
1
214
5
4
140
Dimitri Hendriks
1
1
4
5
140
Keiko Nakata
1
15
1
1
site/software ©
exaly
; All materials licenced under
CC by-SA
.