Class information for:
Level 1: DEPENDENT TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING//TYPE INFERENCE

Basic class information
Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
704 2             ACM SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//LANGUAGES 13317
9040 1                   DEPENDENT TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING//TYPE INFERENCE 1224

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 DEPENDENT TYPES authKW 585781 4% 51% 45
2 JOURNAL OF FUNCTIONAL PROGRAMMING journal 420770 6% 22% 73
3 TYPE INFERENCE authKW 380453 4% 34% 44
4 HIGHER ORDER ABSTRACT SYNTAX authKW 346907 1% 84% 16
5 LOGICAL FRAMEWORKS authKW 333943 2% 62% 21
6 ACM SIGPLAN NOTICES journal 305770 20% 5% 240
7 TYPE CLASSES authKW 302894 2% 59% 20
8 TYPE THEORY authKW 284774 4% 25% 44
9 HASKELL authKW 236509 3% 25% 37
10 SYSTEM F authKW 231715 1% 60% 15

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Software Engineering 49507 46% 0% 567
2 Computer Science, Theory & Methods 39032 49% 0% 598
3 Logic 25417 10% 1% 123
4 Computer Science, Artificial Intelligence 3088 14% 0% 167
5 Computer Science, Information Systems 673 7% 0% 82
6 Mathematics, Applied 586 10% 0% 121
7 Computer Science, Hardware & Architecture 306 3% 0% 38
8 Mathematics 233 8% 0% 92
9 Philosophy 27 1% 0% 12
10 COMPUTER APPLICATIONS & CYBERNETICS 8 0% 0% 1

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 INFORMAT 3 58780 1% 18% 13
2 DATAVETENSK 45971 0% 36% 5
3 CIENCIA COMP MATEMAT 34329 0% 67% 2
4 INFORMAT MATEMAT LICADA IMA 34329 0% 67% 2
5 BOLTZMANNSTR 3 25747 0% 100% 1
6 BRICS DANISH FDN 25747 0% 100% 1
7 COMP SCI SOFTWARE VERIFICAT 25747 0% 100% 1
8 DECOM ICEB 25747 0% 100% 1
9 DPTO LENGUAGES CIENCIAS COMPUTAC 25747 0% 100% 1
10 EP738 25747 0% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF FUNCTIONAL PROGRAMMING 420770 6% 22% 73
2 ACM SIGPLAN NOTICES 305770 20% 5% 240
3 JOURNAL OF AUTOMATED REASONING 60711 3% 6% 41
4 LOGICAL METHODS IN COMPUTER SCIENCE 32703 2% 4% 29
5 LECTURE NOTES IN COMPUTER SCIENCE 29687 26% 0% 320
6 SCIENCE OF COMPUTER PROGRAMMING 27748 3% 3% 42
7 INFORMATION AND COMPUTATION 23928 4% 2% 45
8 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 15023 1% 3% 18
9 JOURNAL OF LOGIC AND COMPUTATION 13321 2% 2% 23
10 THEORETICAL COMPUTER SCIENCE 8439 5% 1% 60

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 DEPENDENT TYPES 585781 4% 51% 45 Search DEPENDENT+TYPES Search DEPENDENT+TYPES
2 TYPE INFERENCE 380453 4% 34% 44 Search TYPE+INFERENCE Search TYPE+INFERENCE
3 HIGHER ORDER ABSTRACT SYNTAX 346907 1% 84% 16 Search HIGHER+ORDER+ABSTRACT+SYNTAX Search HIGHER+ORDER+ABSTRACT+SYNTAX
4 LOGICAL FRAMEWORKS 333943 2% 62% 21 Search LOGICAL+FRAMEWORKS Search LOGICAL+FRAMEWORKS
5 TYPE CLASSES 302894 2% 59% 20 Search TYPE+CLASSES Search TYPE+CLASSES
6 TYPE THEORY 284774 4% 25% 44 Search TYPE+THEORY Search TYPE+THEORY
7 HASKELL 236509 3% 25% 37 Search HASKELL Search HASKELL
8 SYSTEM F 231715 1% 60% 15 Search SYSTEM+F Search SYSTEM+F
9 NOMINAL SETS 218089 1% 71% 12 Search NOMINAL+SETS Search NOMINAL+SETS
10 NOMINAL LOGIC 208552 1% 90% 9 Search NOMINAL+LOGIC Search NOMINAL+LOGIC

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.

Classes with closest relation at Level 1


rank cluster_id2 link
1 3042 LINEAR LOGIC//LAMBDA CALCULUS//GAME SEMANTICS
2 12243 PARTIAL EVALUATION//CONTINUATIONS//DIKU
3 16278 SKELETAL PARALLEL PROGRAMMING//PROGRAM TRANSFORMATION//CONSTRUCTIVE ALGORITHMICS
4 10492 JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING
5 29043 FUNCTIONAL REACTIVE PROGRAMMING//REACTIVE PROGRAMMING//SELF ADJUSTING COMPUTATION
6 5368 ASPECT ORIENTED PROGRAMMING//ACM SIGPLAN NOTICES//PLEIAD
7 4056 SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION
8 28321 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING
9 3432 TERM REWRITING//TERM REWRITING SYSTEMS//JOURNAL OF AUTOMATED REASONING
10 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA

Go to start page