Citation of paper, A theory of type polymorphism in programming

Authors Citing This Paper

AuthorCiting PapersAuthor's PapersAuthor's CitationsAuthor's IF
Osman Hasan182081,4141.1
Luca Cardelli101567,5072.9
Tom Schrijvers81161,1101
Francisco Ortín Soler7694371
Alan Mycroft7729560.8
Steffen van Bakel6202740.7
Paola Giannini5533810.6
Oscar Nierstrasz51352,4211.1
Jeremy G Siek5611,0771.4
Andrzej Tarlecki4741,5900.9
Stephanie Weirich4801,6721.8
Francisco Javier Lopez Fraguas4273280.6
Donald T Sannella3631,2570.8
Samson Abramsky31093,2921.6
Fausto Spoto3696941.3
Roman Neruda3993590.3
Scott Owens3491,8563.6
Edward A Lee320811,0113.6
Axel Jantsch21721,7101.2
Atif Mashkoor2543751.5
Lawrence C Paulson21112,6891.4
Jürgen Giesl21042,0731.7
Simone Martini2292640.7
Andrew J Lumsdaine21814,3861.4
Andres Löh2415641.1
Peter Harrison2767620.6
Jacques Fleuriot2271460.6
Timothy Sherwood21233,0671.8
Norman Ramsey2252240.4
Atsushi Igarashi2731,2931.1
Michael Hanus21061,4700.8
Kevin Hammond2641,0060.9
Alex Potanin2303670.8
Miguel Garcia221850.7
20
Stavros Tripakis21212,2931.6
Enrique Martin-Martin2281180.7
J Baltasar García Perez-Schofield2191260.7
Mario Florido2321580.4
José Nuno Oliveira2181370.9
Roland C Backhouse2404640.4
Frederic Loulergue2622510.4
James Noble21672,7991.1
Paulo F Silva24130.3
Ferruccio Damiani21291,2731.6
António Ravara2303551.2
Eugenio Moggi2371,5141.5
Dmitriy Traytel2373632.6
Flemming Nielson25221.4
Andrew W Appel21113,2251.6

Journals Citing This Paper

JournalCiting PapersJournal's IFJournal's Star
Lecture Notes in Computer Science3260.9★★
ACM SIGPLAN Notices930.2
Theoretical Computer Science401.1★★
Science of Computer Programming341.1★★
ACM Transactions on Programming Languages and Systems331.6★★
Journal of Functional Programming291.6★★
Electronic Notes in Theoretical Computer Science240.7
Information and Computation180.8★★
Workshops in Computing16
Software - Practice and Experience122.5★★
ACM Computing Surveys913.4★★
Higher-Order and Symbolic Computation8
Computer Languages, Systems and Structures8
Higher-Order and Symbolic Computation8★★
New Generation Computing80.9★★
Electronic Proceedings in Theoretical Computer Science, EPTCS6★★
ACM SIGPLAN Lisp Pointers6
Journal of Automated Reasoning61★★
Journal of Symbolic Computation60.8★★
Informatik-Fachberichte5
The Journal of Logic Programming5
Formal Aspects of Computing51.2★★
Mathematical Structures in Computer Science50.5★★
Acta Informatica50.9★★
Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM50.4
Information Processing Letters50.8★★
Undergraduate Topics in Computer Science40.1
Topics in Information Systems4
Computer Languages, Systems and Structures4★★
Journal of Applied Logic4★★
Theory and Practice of Logic Programming40.8★★
Journal of Visual Languages and Computing4★★
Studies in Logic and the Foundations of Mathematics4
Journal of Logic and Computation40.4★★
Fundamenta Informaticae41★★
Journal of Computer Science and Technology41.7★★
Communications of the ACM42.5★★
Informatik Aktuell30.3
ACM SIGPLAN OOPS Messenger3
Handbook of the History of Logic3
RAIRO - Theoretical Informatics and Applications30.5★★
ACM Transactions on Database Systems31.6★★
Logic Journal of the IGPL31★★
Journal of the ACM32★★
Information and Software Technology33.4★★
IEEE Software31.5★★
IEEE Transactions on Software Engineering33.5★★
Communications in Computer and Information Science30.3★★
Proceedings of the IEEE214.3★★
Genetic and Evolutionary Computation20.8