John Hughes

Dikutip oleh

	Semua	Sejak 2020
Kutipan	15665	2242
indeks-h	47	23
indeks-i10	98	36

680

340

170

510

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 68 64 90 124 191 240 291 318 339 244 279 341 295 337 346 323 369 422 524 483 632 575 674 612 539 552 563 521 546 499 567 550 604 462 419 431 434 456 40

Akses publik

Lihat semua

8 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Simon Peyton JonesEpic GamesEmail yang diverifikasi di epicgames.com
Philip WadlerUniversity of Edinburgh and IOHK/IOGEmail yang diverifikasi di inf.ed.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityEmail yang diverifikasi di yale.edu
Koen ClaessenChalmers University of TechnologyEmail yang diverifikasi di chalmers.se
John LaunchburyChief Scientist, GaloisEmail yang diverifikasi di galois.com
Thomas ArtsProfessor of Software Engineering, ChalmersEmail yang diverifikasi di quviq.com
Alastair ReidSenior Principal EngineerEmail yang diverifikasi di intel.com
Colin RuncimanProfessor of Computer Science, University of York, UKEmail yang diverifikasi di york.ac.uk
Erik MeijerMicrosoftEmail yang diverifikasi di meijcrosoft.com
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternEmail yang diverifikasi di cs.uni-kl.de
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityEmail yang diverifikasi di chalmers.se
Will PartainEmail yang diverifikasi di parple.org
Nicholas SmallboneChalmers University of TechnologyEmail yang diverifikasi di chalmers.se
Ulf NorellUniversity of GothenburgEmail yang diverifikasi di chalmers.se
Leonidas LampropoulosAssistant Professor, University of MarylandEmail yang diverifikasi di umd.edu
Cătălin HrițcuTenured Faculty at MPI-SPEmail yang diverifikasi di mpi-sp.org
Hans SvenssonQuviq ABEmail yang diverifikasi di quviq.com
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgEmail yang diverifikasi di chalmers.se
Nick BentonEngineering Manager, FacebookEmail yang diverifikasi di fb.com

Ikuti

John Hughes

Professor of Computer Science and Engineering, Chalmers University

Email yang diverifikasi di chalmers.se

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


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	2100*	2000
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	2081*	1992
Haskell 98 language and libraries: the revised report SP Jones Cambridge University Press, 2003	1826	2003
Why functional programming matters J Hughes The computer journal 32 (2), 98-107, 1989	1570	1989
Generalising monads to arrows J Hughes Science of computer programming 37 (1-3), 67-111, 2000	724	2000
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	516	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	456	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	336	1982
Projections for strictness analysis P Wadler, R Hughes Functional Programming Languages and Computer Architecture, 385-407, 1987	288	1987
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	282	2006
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	278*	1999
The Design of a Pretty-printing Library. Jeuring, J., & Meijer, E.(eds), Advanced functional programming. LNCS, vol. 925 J Hughes Springer Verlag, 1995	247*	1995
Programming language syntax and semantics DA Watt Prentice Hall PTR, 1996	243	1996
Lazy memo-functions J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	198	1985
A distributed garbage collection algorithm J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	198	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	187	1983
Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000	170	2000
QuickCheck testing for fun and profit J Hughes International Symposium on Practical Aspects of Declarative Languages, 1-32, 2007	160	2007
A novel representation of lists and its application to the function “reverse” RJM Hughes Information processing letters 22 (3), 141-144, 1986	160	1986

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama