John Hughes
John Hughes
Professor of Computer Science and Engineering, Chalmers University
Bestätigte E-Mail-Adresse bei chalmers.se
Titel
Zitiert von
Zitiert von
Jahr
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
1897*1992
Why functional programming matters
J Hughes
The computer journal 32 (2), 98-107, 1989
13281989
Generalising monads to arrows
J Hughes
Science of computer programming 37 (1-3), 67-111, 2000
6132000
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
4232007
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
4011996
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
2881982
Programming Languages
DA Watt, S Wong
Concepts and Paradigms Prentice Hall, 1990
2701990
Projections for strictness analysis
P Wadler, R Hughes
Functional Programming Languages and Computer Architecture, 385-407, 1987
2561987
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
2242006
The design of a pretty-printing library
J Hughes
International School on Advanced Functional Programming, 53-96, 1995
2201995
QuickCheck: a lightweight tool for random testing of Haskell programs
K Claessen, J Hughes
Acm sigplan notices 46 (4), 53-64, 2011
2002011
Lazy memo-functions
J Hughes
Conference on Functional Programming Languages and Computer Architecture …, 1985
1801985
A distributed garbage collection algorithm
J Hughes
Conference on Functional Programming Languages and Computer Architecture …, 1985
1761985
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
1731999
The design and implementation of programming languages
RJM Hughes
Ph. D. Thesis, Oxford University 130, 1983
1641983
Monads and effects
N Benton, J Hughes, E Moggi
International Summer School on Applied Semantics, 42-122, 2000
1452000
QuickCheck testing for fun and profit
J Hughes
International Symposium on Practical Aspects of Declarative Languages, 1-32, 2007
1252007
Backwards analysis of functional programs
J Hughes
University of Glasgow. Department of Computing Science, 1987
1211987
A novel representation of lists and its application to the function “reverse”
RJM Hughes
Information processing letters 22 (3), 141-144, 1986
1171986
A library for light-weight information-flow security in Haskell
A Russo, K Claessen, J Hughes
ACM Sigplan Notices 44 (2), 13-24, 2008
1052008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20