John Hughes

Citada per

	Totes	Des de 2020
Citacions	15674	2259
Índex h	47	23
Índex i10	98	36

700

350

175

525

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202567 59 89 114 186 247 292 316 336 244 282 341 295 337 342 322 375 427 525 478 627 583 684 607 543 555 567 512 545 496 569 546 604 468 417 434 444 463 33

Accés públic

Mostra-ho tot

9 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Simon Peyton JonesEpic GamesCorreu electrònic verificat a epicgames.com
Philip WadlerUniversity of Edinburgh and IOHK/IOGCorreu electrònic verificat a inf.ed.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityCorreu electrònic verificat a yale.edu
Koen ClaessenChalmers University of TechnologyCorreu electrònic verificat a chalmers.se
John LaunchburyChief Scientist, GaloisCorreu electrònic verificat a galois.com
Alastair ReidSenior Principal EngineerCorreu electrònic verificat a intel.com
Thomas ArtsProfessor of Software Engineering, ChalmersCorreu electrònic verificat a quviq.com
Colin RuncimanProfessor of Computer Science, University of York, UKCorreu electrònic verificat a york.ac.uk
Erik MeijerMicrosoftCorreu electrònic verificat a meijcrosoft.com
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternCorreu electrònic verificat a cs.uni-kl.de
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityCorreu electrònic verificat a chalmers.se
Will PartainCorreu electrònic verificat a parple.org
Nicholas SmallboneChalmers University of TechnologyCorreu electrònic verificat a chalmers.se
Ulf NorellUniversity of GothenburgCorreu electrònic verificat a chalmers.se
Leonidas LampropoulosAssistant Professor, University of MarylandCorreu electrònic verificat a umd.edu
Cătălin HrițcuTenured Faculty at MPI-SPCorreu electrònic verificat a mpi-sp.org
Hans SvenssonQuviq ABCorreu electrònic verificat a quviq.com
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgCorreu electrònic verificat a chalmers.se
Nick BentonEngineering Manager, FacebookCorreu electrònic verificat a fb.com

Segueix

John Hughes

Professor of Computer Science and Engineering, Chalmers University

Correu electrònic verificat a chalmers.se

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


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	2106*	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	2083*	1992
Haskell 98 language and libraries: the revised report SP Jones Cambridge University Press, 2003	1833	2003
Why functional programming matters J Hughes The computer journal 32 (2), 98-107, 1989	1581	1989
Generalising monads to arrows J Hughes Science of computer programming 37 (1-3), 67-111, 2000	716	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	514	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	337	1982
Projections for strictness analysis P Wadler, R Hughes Functional Programming Languages and Computer Architecture, 385-407, 1987	290	1987
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	281*	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	280	2006
The Design of a Pretty-printing Library. Jeuring, J., & Meijer, E.(eds), Advanced functional programming. LNCS, vol. 925 J Hughes Springer Verlag, 1995	246*	1995
Programming language syntax and semantics DA Watt Prentice Hall PTR, 1996	242	1996
Lazy memo-functions J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	197	1985
A distributed garbage collection algorithm J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	197	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	188	1999
The design and implementation of programming languages RJM Hughes Ph. D. Thesis, Oxford University 130, 1983	183	1983
Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000	165	2000
QuickCheck testing for fun and profit J Hughes International Symposium on Practical Aspects of Declarative Languages, 1-32, 2007	159	2007
A novel representation of lists and its application to the function “reverse” RJM Hughes Information processing letters 22 (3), 141-144, 1986	157	1986

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors