Searching for authors named "John Hughes" – sorted by Relevance.
139 documents found, showing 1 through 10.
Next 10 →
-
Verifying the property
- …Erlang/QuickCheck Thomas Arts, IT University John Hughes, Chalmers University Gothenburg A little…
- Add To MetaCart
-
Type Specialisation for the lambda-calculus, or A New Paradigm for Partial Evaluation based on Type Inference
- … Inference John Hughes Department of Computer Science, Chalmers Technical University, S-41296 Goteborg…
- Cited by 14 (3 self) – Add To MetaCart
-
A Type Specialisation Tutorial
- …A Type Specialisation Tutorial John Hughes Department of Computing Science, Chalmers University…
- Cited by 4 (1 self) – Add To MetaCart
-
The Correctness of Type Specialisation
- …The Correctness of Type Specialisation John Hughes, Chalmers University of Technology, S-41296 G…
- Cited by 5 (2 self) – Add To MetaCart
-
Restricted Data Types in Haskell
- …Restricted Data Types in Haskell John Hughes September 4, 1999 Abstract The implementations…
- Cited by 8 (0 self) – Add To MetaCart
-
The Design of a Pretty-printing Library
- …The Design of a Pretty-printing Library John Hughes Chalmers Tekniska Hogskola, Goteborg, Sweden…
- Cited by 67 (2 self) – Add To MetaCart
-
Generalising Monads to Arrows
- …Generalising Monads to Arrows John Hughes November 10, 1998 1 Introduction One…
- Cited by 87 (2 self) – Add To MetaCart
-
Why functional programming matters
- …Why Functional Programming Matters John Hughes, Institutionen for Datavetenskap, Chalmers Tekniska…
- Cited by 245 (2 self) – Add To MetaCart
-
The Automated Evaluation of Inferred Word Classifications
- …The Automated Evaluation of Inferred Word Classifications John Hughes and Eric Atwell 1 Abstract…
- Cited by 14 (6 self) – Add To MetaCart
-
Binding-time analysis for polymorphic types
- …Binding-time Analysis for Polymorphic Types 1 Introduction Rogardt Heldal and John Hughes Chalmers…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
