Class information for: |
Basic class information |
| Class id | #P | Avg. number of references |
Database coverage of references |
|---|---|---|---|
| 8988 | 1199 | 27.0 | 22% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
Terms with highest relevance score |
| rank | Term | termType | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|---|
| 1 | JOURNAL OF FUNCTIONAL PROGRAMMING | journal | 779831 | 8% | 31% | 99 |
| 2 | ACM SIGPLAN NOTICES | journal | 627689 | 29% | 7% | 345 |
| 3 | HASKELL | authKW | 543200 | 5% | 38% | 56 |
| 4 | DEPENDENT TYPES | authKW | 435163 | 3% | 44% | 39 |
| 5 | TYPE INFERENCE | authKW | 417658 | 4% | 36% | 46 |
| 6 | TYPE CLASSES | authKW | 362497 | 2% | 65% | 22 |
| 7 | LANGUAGES | authKW | 298725 | 15% | 7% | 178 |
| 8 | FUNCTIONAL REACTIVE PROGRAMMING | authKW | 293600 | 1% | 82% | 14 |
| 9 | HIGHER ORDER ABSTRACT SYNTAX | authKW | 262692 | 1% | 74% | 14 |
| 10 | SYSTEM F | authKW | 229180 | 1% | 60% | 15 |
Web of Science journal categories |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | Computer Science, Software Engineering | 83385 | 61% | 0% | 727 |
| 2 | Computer Science, Theory & Methods | 27453 | 42% | 0% | 499 |
| 3 | Logic | 8371 | 6% | 0% | 70 |
| 4 | Computer Science, Artificial Intelligence | 2520 | 12% | 0% | 149 |
| 5 | Computer Science, Information Systems | 390 | 5% | 0% | 63 |
| 6 | Computer Science, Hardware & Architecture | 280 | 3% | 0% | 36 |
| 7 | Mathematics, Applied | 127 | 5% | 0% | 65 |
| 8 | Mathematics | 47 | 4% | 0% | 52 |
| 9 | COMPUTER APPLICATIONS & CYBERNETICS | 8 | 0% | 0% | 1 |
| 10 | Philosophy | 1 | 0% | 0% | 5 |
Address terms |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | INFORMAT 3 | 89280 | 1% | 22% | 16 |
| 2 | PACIFIC SOFTWARE | 57296 | 0% | 75% | 3 |
| 3 | INFORMAT MATEMAT LICADA IMA | 33953 | 0% | 67% | 2 |
| 4 | PROGRAM ANAL SYST | 33953 | 0% | 67% | 2 |
| 5 | BOLTZMANNSTR 3 | 25466 | 0% | 100% | 1 |
| 6 | BRICS DANISH FDN | 25466 | 0% | 100% | 1 |
| 7 | COMP SCI SOFTWARE VERIFICAT | 25466 | 0% | 100% | 1 |
| 8 | CSALL | 25466 | 0% | 100% | 1 |
| 9 | DATA PROGRAMMABILITY TEAM | 25466 | 0% | 100% | 1 |
| 10 | DECOM ICEB | 25466 | 0% | 100% | 1 |
Journals |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | JOURNAL OF FUNCTIONAL PROGRAMMING | 779831 | 8% | 31% | 99 |
| 2 | ACM SIGPLAN NOTICES | 627689 | 29% | 7% | 345 |
| 3 | JOURNAL OF AUTOMATED REASONING | 46945 | 3% | 5% | 36 |
| 4 | SCIENCE OF COMPUTER PROGRAMMING | 39422 | 4% | 3% | 50 |
| 5 | LECTURE NOTES IN COMPUTER SCIENCE | 26835 | 26% | 0% | 306 |
| 6 | LOGICAL METHODS IN COMPUTER SCIENCE | 21271 | 2% | 4% | 23 |
| 7 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 13210 | 2% | 2% | 22 |
| 8 | INFORMATION AND COMPUTATION | 8123 | 2% | 1% | 26 |
| 9 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 5848 | 1% | 2% | 11 |
| 10 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 4999 | 1% | 2% | 8 |
Author Key Words |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | HASKELL | 543200 | 5% | 38% | 56 | Search HASKELL | Search HASKELL |
| 2 | DEPENDENT TYPES | 435163 | 3% | 44% | 39 | Search DEPENDENT+TYPES | Search DEPENDENT+TYPES |
| 3 | TYPE INFERENCE | 417658 | 4% | 36% | 46 | Search TYPE+INFERENCE | Search TYPE+INFERENCE |
| 4 | TYPE CLASSES | 362497 | 2% | 65% | 22 | Search TYPE+CLASSES | Search TYPE+CLASSES |
| 5 | LANGUAGES | 298725 | 15% | 7% | 178 | Search LANGUAGES | Search LANGUAGES |
| 6 | FUNCTIONAL REACTIVE PROGRAMMING | 293600 | 1% | 82% | 14 | Search FUNCTIONAL+REACTIVE+PROGRAMMING | Search FUNCTIONAL+REACTIVE+PROGRAMMING |
| 7 | HIGHER ORDER ABSTRACT SYNTAX | 262692 | 1% | 74% | 14 | Search HIGHER+ORDER+ABSTRACT+SYNTAX | Search HIGHER+ORDER+ABSTRACT+SYNTAX |
| 8 | SYSTEM F | 229180 | 1% | 60% | 15 | Search SYSTEM+F | Search SYSTEM+F |
| 9 | LOGICAL FRAMEWORKS | 216442 | 1% | 50% | 17 | Search LOGICAL+FRAMEWORKS | Search LOGICAL+FRAMEWORKS |
| 10 | NOMINAL TECHNIQUES | 206271 | 1% | 90% | 9 | Search NOMINAL+TECHNIQUES | Search NOMINAL+TECHNIQUES |
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. |
| Rank | Reference | # ref. in cl. |
Shr. of ref. in cl. |
Citations |
|---|---|---|---|---|
| 1 | FELTY, A , MOMIGLIANO, A , (2012) HYBRID.JOURNAL OF AUTOMATED REASONING. VOL. 48. ISSUE 1. P. 43 -105 | 28 | 70% | 3 |
| 2 | POUILLARD, N , POTTIER, F , (2012) A UNIFIED TREATMENT OF SYNTAX WITH BINDERS.JOURNAL OF FUNCTIONAL PROGRAMMING. VOL. 22. ISSUE . P. 614 -704 | 21 | 88% | 2 |
| 3 | CROLE, RL , (2011) THE REPRESENTATIONAL ADEQUACY OF HYBRID.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 21. ISSUE 3. P. 585 -646 | 18 | 100% | 1 |
| 4 | ABEL, A , MATTHES, R , UUSTALU, T , (2005) ITERATION AND COITERATION SCHEMES FOR HIGHER-ORDER AND NESTED DATATYPES.THEORETICAL COMPUTER SCIENCE. VOL. 333. ISSUE 1-2. P. 3 -66 | 20 | 95% | 22 |
| 5 | DOWEK, G , GABBAY, MJ , MULLIGAN, DP , (2010) PERMISSIVE NOMINAL TERMS AND THEIR UNIFICATION: AN INFINITE, CO-INFINITE APPROACH TO NOMINAL TECHNIQUES.LOGIC JOURNAL OF THE IGPL. VOL. 18. ISSUE 6. P. 769-822 | 18 | 95% | 1 |
| 6 | ABEL, A , (2009) TYPE-BASED TERMINATION OF GENERIC PROGRAMS.SCIENCE OF COMPUTER PROGRAMMING. VOL. 74. ISSUE 8. P. 550-567 | 18 | 95% | 3 |
| 7 | GABBAY, MJ , (2011) FOUNDATIONS OF NOMINAL TECHNIQUES: LOGIC AND SEMANTICS OF VARIABLES IN ABSTRACT SYNTAX.BULLETIN OF SYMBOLIC LOGIC. VOL. 17. ISSUE 2. P. 161 -229 | 17 | 89% | 10 |
| 8 | HINZE, R , LOH, A , (2009) GENERIC PROGRAMMING IN 3D.SCIENCE OF COMPUTER PROGRAMMING. VOL. 74. ISSUE 8. P. 590-628 | 18 | 90% | 5 |
| 9 | ABEL, A , (2006) TOWARDS GENERIC PROGRAMMING WITH SIZED TYPES.MATHEMATICS OF PROGRAM CONSTRUCTION. VOL. 4014. ISSUE . P. 10 -28 | 18 | 95% | 0 |
| 10 | DOWEK, G , GABBAY, MJ , (2012) PNL TO HOL: FROM THE LOGIC OF NOMINAL SETS TO THE LOGIC OF HIGHER-ORDER FUNCTIONS.THEORETICAL COMPUTER SCIENCE. VOL. 451. ISSUE . P. 38 -69 | 17 | 85% | 0 |
Classes with closest relation at Level 1 |