John Hughes 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	15975	2646
h 指数	49	25
i10 指数	102	42

720

360

180

540

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202467 60 89 111 189 252 298 331 353 256 291 359 312 364 372 347 383 449 550 506 634 611 707 625 560 581 585 530 556 509 579 571 621 492 431 449 429 224

开放获取的出版物数量

查看全部

10 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Simon Peyton JonesEpic Games在 epicgames.com 的电子邮件经过验证
Philip WadlerUniversity of Edinburgh and IOHK/IOG在 inf.ed.ac.uk 的电子邮件经过验证
Paul HudakProfessor of Computer Science, Yale University在 yale.edu 的电子邮件经过验证
Koen ClaessenChalmers University of Technology在 chalmers.se 的电子邮件经过验证
John LaunchburyChief Scientist, Galois在 galois.com 的电子邮件经过验证
Alastair ReidSenior Principal Engineer在 intel.com 的电子邮件经过验证
Thomas ArtsProfessor of Software Engineering, Chalmers在 quviq.com 的电子邮件经过验证
Colin RuncimanProfessor of Computer Science, University of York, UK在 york.ac.uk 的电子邮件经过验证
Erik MeijerMicrosoft在 meijcrosoft.com 的电子邮件经过验证
Ralf HinzeProfessor of Software Engineering, TU Kaiserslautern在 cs.uni-kl.de 的电子邮件经过验证
Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Will Partain在 parple.org 的电子邮件经过验证
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg University在 chalmers.se 的电子邮件经过验证
Nicholas SmallboneChalmers University of Technology在 chalmers.se 的电子邮件经过验证
Ulf NorellUniversity of Gothenburg在 chalmers.se 的电子邮件经过验证
Leonidas LampropoulosAssistant Professor, University of Maryland在 umd.edu 的电子邮件经过验证
Cătălin HrițcuTenured Faculty at MPI-SP在 mpi-sp.org 的电子邮件经过验证
Hans SvenssonQuviq AB在 quviq.com 的电子邮件经过验证
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of Gothenburg在 chalmers.se 的电子邮件经过验证
Nick BentonEngineering Manager, Facebook在 fb.com 的电子邮件经过验证

关注

John Hughes

Professor of Computer Science and Engineering, Chalmers University

在 chalmers.se 的电子邮件经过验证

Functional programming programming languages software testing random testing property-based testing


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Report on the programming language Haskell: a non-strict, purely functional language version 1.2 P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ... ACM SigPlan notices 27 (5), 1-164, 1992	2071*	1992
Haskell 98 language and libraries: the revised report SP Jones Cambridge University Press, 2003	1815	2003
QuickCheck: a lightweight tool for random testing of Haskell programs K Claessen, J Hughes Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000	1743	2000
Why functional programming matters J Hughes The computer journal 32 (2), 98-107, 1989	1541	1989
Generalising monads to arrows J Hughes Science of computer programming 37 (1-3), 67-111, 2000	699	2000
Stress-induced modulation of the immune response to recombinant hepatitis B vaccine. R Glaser, JK Kiecolt-Glaser, RH Bonneau, W Malarkey, S Kennedy, ... Psychosomatic medicine 54 (1), 22-29, 1992	562	1992
A history of Haskell: being lazy with class P Hudak, J Hughes, S Peyton Jones, P Wadler Proceedings of the third ACM SIGPLAN conference on History of programming …, 2007	494	2007
Proving the correctness of reactive systems using sized types J Hughes, L Pareto, A Sabry Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996	449	1996
Super-combinators a new implementation method for applicative languages RJM Hughes Proceedings of the 1982 ACM symposium on LISP and functional programming, 1-10, 1982	329	1982
Projections for strictness analysis P Wadler, R Hughes Functional Programming Languages and Computer Architecture, 385-407, 1987	286	1987
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	280*	1999
Testing telecoms software with Quviq QuickCheck T Arts, J Hughes, J Johansson, U Wiger Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2-10, 2006	268	2006
QuickCheck: a lightweight tool for random testing of Haskell programs K Claessen, J Hughes Acm sigplan notices 46 (4), 53-64, 2011	263	2011
The Design of a Pretty-printing Library. Jeuring, J., & Meijer, E.(eds), Advanced functional programming. LNCS, vol. 925 J Hughes Springer Verlag, 1995	244*	1995
Programming language syntax and semantics DA Watt Prentice Hall PTR, 1996	239	1996
Lazy memo-functions J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	196	1985
A distributed garbage collection algorithm J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	196	1985
Recursion and dynamic data-structures in bounded space: Towards embedded ML programming J Hughes, L Pareto Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999	187	1999
The design and implementation of programming languages RJM Hughes Ph. D. Thesis, Oxford University 130, 1983	182	1983
Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000	162	2000

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用