Some BibTeX Entries

Super Combinators---A New Implementation Method for Applicative Languages

Hughes, 1982.

@inproceedings{hughes:super,
	TITLE = {{Super Combinators---A New Implementation Method for 
		 Applicative Languages}},
	AUTHOR = {R. J. M. Hughes},
	BOOKTITLE	= {{Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming}},
	PAGES = {1--10},
	ADDRESS = {Pittsburgh},
	YEAR = {1982}
}

The Design and Implementation of Programming Languages

Hughes, 1983.

@phdthesis{hughes:thesis, 
	AUTHOR = {R. J. M. Hughes},
	TITLE	= {{The Design and Implementation of Programming Languages}}, 
	SCHOOL = {Programming Research Group, Oxford University},
	MONTH = {July}, 
	YEAR = {1983}
}

A Distributed Garbage Collection Algorithm

Hughes, 1985.

@inproceedings{hughes:garbage,
	AUTHOR = {R. J. M. Hughes},
	TITLE	= {{A Distributed Garbage Collection Algorithm}},
	BOOKTITLE	= {{Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture}},
	ADDRESS = {Nancy, France},
	PAGES = {256--272},
	YEAR = {1985}
}

Strictness Detection in Non-Flat Domains

Hughes, 1985.

@inproceedings{hughes:non-flat-strict-i,
	TITLE	= {{Strictness Detection in Non-Flat Domains}},
	AUTHOR = {R. J. M. Hughes},
	EDITOR = {H. Ganzinger and N. D. Jones},
	PAGES =  {112--135},
	BOOKTITLE = {Proceedings of the Workshop on Programs as Data Objects,
	Lecture Notes in Computer Science},
	VOLUME = {217},
	PUBLISHER = {Springer-Verlag},
	MONTH = {October}, YEAR = {1985}
}

Lazy Memo-functions

Hughes, 1985.

@inproceedings{hughes:lazy-memo,
	TITLE	= {{Lazy Memo-functions}},
	AUTHOR = {R. J. M. Hughes},
	BOOKTITLE	= {{Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture}},
	ADDRESS = {Nancy, France},
	YEAR = {1985}
}

Projections for Strictness Analysis

Wadler and Hughes, 1987.

@inproceedings{wadler:portland,
	TITLE	= {{{Projections for Strictness Analysis}}},
	AUTHOR	= {Phil Wadler and John Hughes},
	BOOKTITLE = {{{Proceedings of the 1987 Conference on Functional Programming Languages and Computer Architecture}}},
	ADDRESS = {Portland, Oregon},
	YEAR	= {1987},
	MONTH	= {September}
}

Analysing Strictness by Abstract Interpretation of Continuations

Hughes, 1987.

@incollection{hughes:ai,
	AUTHOR  = {R. J. M. Hughes},
	TITLE	= {{Analysing Strictness by Abstract Interpretation of Continuations}},
	BOOKTITLE	= {{Abstract Interpretation of Declarative Languages}},
	PUBLISHER= {Ellis Horwood},
	YEAR	= {1987},
	EDITOR	= {Samson Abramsky and Chris Hankin}
}

Backwards Analysis of Functional Programs

Hughes, 1987.

@inproceedings{hughes:backwards,
	AUTHOR = {J. Hughes},
	TITLE = {{Backwards Analysis of Functional Programs}},
	BOOKTITLE = {{IFIP Workshop on Partial Evaluation and Mivxed Computation}},
	EDITOR = {Bj{\o}rner and Ershov},
	YEAR = {1987}
}

Abstract Interpretation of First-order Polymorphic Functions

Hughes, 1988.

@inproceedings{hughes:abstract-polymorphic,
	AUTHOR = {J. Hughes},
	TITLE = {{Abstract Interpretation of First-order Polymorphic Functions}},
	BOOKTITLE = {{Proceedings of the Workshop on Implementation of Functional Languages}},
	EDITOR = {Johnsson, Peyton-Jones and Karlsson},
	ADDRESS = {Aspen\"{a}s, Sweden},
	YEAR = {1988}
}

Why Functional Programming Matters

John Hughes, 1989.

@article{hughes:matters-cj,
	AUTHOR = {J. Hughes},
	TITLE = {{Why Functional Programming Matters}},
	JOURNAL = {Computer Journal},
	VOLUME = {32},
	NUMBER = {2},
        PAGES = {98--107},
	YEAR = {1989}
}

Projections for Polymorphic Strictness Analysis

Hughes, 1989.

@inproceedings{hughes:polymorphic,
	AUTHOR = {J. Hughes},
	TITLE = {{Projections for Polymorphic Strictness Analysis}},
	BOOKTITLE = {{Proc. Conference on Category Theory and Computer Science}},
	ADDRESS = {Manchester},
	YEAR = {1989}
}

An Iterative Powerdomain Construction

Ferguson and Hughes, 1989.

@inproceedings{ferguson:iterative,
	AUTHOR = {A. Ferguson and J. Hughes},
	TITLE = {{An Iterative Powerdomain Construction}},
	BOOKTITLE = {{Functional Programming}},
	ADDRESS = {Glasgow},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing},
	YEAR = {1989}
}

Expressing and Reasoning about Non-deterministic Functional Programs

Hughes and O'Donnell, 1989.

@inproceedings{hughes:expressing-non-det,
	AUTHOR = {J. Hughes and J. T. O'Donnell},
	TITLE = {{Expressing and Reasoning about Non-deterministic Functional Programs}},
	BOOKTITLE = {{Functional Programming}},
	ADDRESS = {Glasgow},
	YEAR = {1989},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing}
}

Compile-time Analysis of Functional Programs

Hughes, 1990.

@inproceedings{hughes:compile-time,
	AUTHOR = {John Hughes},
	TITLE = {{Compile-time Analysis of Functional Programs}},
	BOOKTITLE = {{Research Topics in Functional Programming}},
	EDITOR = {D. Turner},
	PUBLISHER = {Addison Wesley},
	YEAR = {1990}
}

Towards Relating Forwards and Backwards Analyses

Hughes and Launchbury, 1990.

@inproceedings{hughes:towards-relating,
	AUTHOR = {J. Hughes and J. Launchbury},
	TITLE = {{Towards Relating Forwards and Backwards Analyses}},
	BOOKTITLE = {{Proc. 1990 Glasgow Workshop on Functional Programming}},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing},
	YEAR = {1990}
}

Towards Binding-time Improvement for Free!

Holst and Hughes, 1990.

@inproceedings{holst:improvement,
	AUTHOR = {C. K. Holst and J. Hughes},
	TITLE = {{Towards Binding-time Improvement for Free!}},
	BOOKTITLE = {{Functional Programming}},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing},
	YEAR = {1990},
	ADDRESS = {Glasgow}
}

A Loop-detecting Interpreter for Lazy Programs

Holst and Hughes, 1991.

@inproceedings{holst:loop-detecting,
	AUTHOR = {C. K. Holst and J. Hughes},
	TITLE = {{A Loop-detecting Interpreter for Lazy Programs}},
		BOOKTITLE = {{Functional Programming}},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing},
	YEAR = {1991},
	ADDRESS = {Glasgow}
}

Implementing Projection Based Strictness Analysis

Kubiak, Hughes and Launchbury, 1991.

@inproceedings{kubiak:projection,
	AUTHOR = {R. Kubiak and J. Hughes and J. Launchbury},
	TITLE = {{Implementing Projection Based Strictness Analysis}},
	BOOKTITLE = {{Functional Programming}},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing},
	ADDRESS = {Glasgow},
	YEAR = {1991}
}

Projections for Polymorphic First-Order Strictness Analysis

Hughes and Launchbury, 1992.

@article{hughes:polymorphic-mscs,
	AUTHOR = {J. Hughes and J. Launchbury},
	TITLE = {{Projections for Polymorphic First-Order Strictness Analysis}},
	JOURNAL = {Mathematical Structures in Computer Science},
	VOL = {2},
	YEAR = {1992}
}

Reversing Abstract Interpretations

Hughes and Launchbury, 1992.

@inproceedings{hughes:reversing,
	AUTHOR = {J. Hughes and J. Launchbury},
	TITLE = {{Reversing Abstract Interpretations}},
	BOOKTITLE = {{European Symposium on Programming}},
	YEAR = {1992},
	ADDRESS = {Rennes},
	PUBLISHER = {Springer-Verlag},
	SERIES = {LNCS},
	VOLUME = {582},
	NOTE = {Also to appear in Science of Computer Programming}
}

Relational Reversal of Abstract Interpretation

Hughes and Launchbury, 1992.

@article{hughes:relational,
	AUTHOR = {J. Hughes and J. Launchbury},
	TITLE = {{Relational Reversal of Abstract Interpretation}},
	JOURNAL = {Journal of Logic and Computation},
	VOLUME = {2},
	NUMBER = {4},
	PAGES = {465-482},
	YEAR = {1992}
}

Abstract Interpretation of Higher-Order Functions using Concrete Data Structures

Ferguson and Hughes, 1992.

@inproceedings{ferguson:abstract-cds,
	AUTHOR = {A. Ferguson and J. Hughes},
	TITLE = {{Abstract Interpretation of Higher-Order Functions using Concrete Data Structures}},
	BOOKTITLE = {{Functional Programming}},
	EDITORS = {J. Launchbury and P. M. Sansom},
	ADDRESS = {Glasgow},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing},
	YEAR = {1992}
}

A Loop-detecting Interpreter for Lazy, Higher-order Programs

Hughes and Ferguson, 1992.

@inproceedings{hughes:loop-higher,
	AUTHOR = {J. Hughes and A. Ferguson},
	TITLE = {{A Loop-detecting Interpreter for Lazy, Higher-order Programs}},
	BOOKTITLE = {{Functional Programming}},
	EDITORS = {J. Launchbury and P. M. Sansom},
	ADDRESS = {Glasgow},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Workshops in Computing},
	YEAR = {1992}
}

A Semantics for Locally Bottom-Avoiding Choice

Hughes and Moran, 1992.

@inproceedings{hughes&moran:ayr92,
    author =    "J. Hughes and A. Moran",
    title =     "A Semantics for Locally Bottom-Avoiding Choice",
    booktitle = "Proceedings of the Glasgow Functional Programming Workshop '92",
    series =    "WICS",
    year =      "1992"
}

Avoiding Unnecessary Updates

Launchbury, Gill, Hughes, Marlow, Peyton-Jones and Wadler, 1992.

@inproceedings{launchbury:updates,
	AUTHOR = {J. Launchbury and A. Gill and J. Hughes and S. Marlow and S. L. Peyton~Jones and P. Wadler},
	TITLE = {{Avoiding Unnecessary Updates}},
	BOOKTITLE = {{Functional Programming}},
	ADDRESS = {Glasgow},
	YEAR = {1992},
	SERIES = {Workshops in Computing},
	EDITOR = {J. Launchbury and P. M. Sansom}
}

Fast Abstract Interpretation Using Sequential Algorithms

Ferguson and Hughes, 1993.

@inproceedings{ferguson:wsa,
		  author={A. Ferguson and J. Hughes},
		  title = {{Fast Abstract Interpretation Using Sequential
		  Algorithms}},
		  booktitle={{Proc. Workshop on Static Analysis}},
		  address={Padova},
		  publisher={Springer-Verlag},
		  series={LNCS},
		  vol={724},
		  year={1993}
		  }

The Design of a Pretty-printing Library

Hughes, 1995.

@inproceedings{hughes:pretty-printing,
	AUTHOR = {John Hughes},
	TITLE = {{The Design of a Pretty-printing Library}},
	BOOKTITLE = {{Advanced Functional Programming}},
	EDITOR = {J. Jeuring and E. Meijer},
	YEAR = {1995},
	pages = "53-96",
	PUBLISHER = {Springer Verlag, LNCS 925},
}

Making Choices Lazily

Hughes and Moran, 1995.

@inproceedings{hughes&moran:ambfpca,
	 TITLE	= {{Making Choices Lazily}},
	 AUTHOR = {J. Hughes and A. Moran},
	 BOOKTITLE = {FPCA '95 - Conference on Functional Programming
		   Languages and Computer Architecture},
	 PUBLISHER = {ACM Press},
	 MONTH = {June},
	 YEAR = 1995
}

Haskell++: An Object-Oriented Extension of Haskell

Hughes and Sparud, 1995.

@inproceedings{hughes-sparud:haskell++,
	AUTHOR = {J. Hughes and J. Sparud},
	TITLE = {{Haskell++: An Object-Oriented Extension of Haskell}},
	BOOKTITLE = {{Proceedings of Haskell Workshop, La Jolla, California}},
	SERIES = {{YALE Research Report DCS/RR-1075}},
	YEAR = {1995}
}

Proving the Correctness of Reactive Systems Using Sized Types

Hughes, Pareto and Sabry, 1996.

@inproceedings{hughes&pareto&sabry:popl-96,
		  author={John Hughes and Lars Pareto and Amr Sabry},
		  title = {{Proving the Correctness of Reactive Systems Using
		  Sized Types}},
		  booktitle={{ACM Principles of Programming Languages}},
		  year={1996},
		  month={January},
		  address={St Petersburg, Florida}}

Type Specialisation for the Lambda-calculus; or, A New Paradigm for Partial Evaluation based on Type Inference

Hughes, 1996.

@inproceedings{hughes:type-spec,
		  author={John Hughes},
		  title={{Type Specialisation for the Lambda-calculus; or, A
		  New Paradigm for Partial Evaluation based on Type
		  Inference}}, 
		  booktitle={{Partial Evaluation}},
                  editor={Olivier Danvy and Robert Gl\"uck and Peter Thiemann},
		  publisher={Springer-Verlag},
		  series={LNCS}, volume={1110},
		  year={1996},
		  month={February}}

An Introduction to Program Specialisation by Type Inference

Hughes, 1996.

@inproceedings{hughes:type-spec-glasgow,
		  author={John Hughes},
                  title={{An Introduction to Program Specialisation by Type Inference}},
                  booktitle={{Functional Programming}},
                  publisher={Glasgow University},
                  year={1996},
                  month={July},
                  note={published electronically}}

Type Specialisation for Imperative Languages

Dussart, Hughes and Thiemann, 1997.

@inproceedings{dussart-hughes-thiemann:icfp97,
                  author={Dirk Dussart and John Hughes and Peter Thiemann},
                  title={{Type Specialisation for Imperative Languages}},
                  booktitle={{International Conference on Functional
Programming}},
                  publisher={ACM},
                  address={Amsterdam},
                  month={June},
                  year={1997}}

Partial Evaluation and Separate Compilation

Heldal and Hughes, 1997.

@inproceedings{heldal-hughes:pepm97,
                  author={Rogardt Heldal and John Hughes},
                  title={{Partial Evaluation and Separate Compilation}},
                  booktitle={{Symposium on Partial Evaluation and
Semantics-Based Program Manipulation}},
                  publisher={ACM SIGPLAN},
                  address={Amsterdam},
                  month={June},
                  year={1997}}

Module-Sensitive Program Specialisation

Dussart, Heldal and Hughes, 1997.

@inproceedings{dussart-heldal-hughes:pldi97,
                  author={Dirk Dussart and Rogardt Heldal and John Hughes},
                  title={{Module-Sensitive Program Specialisation}},
                  booktitle={{Conference on Programming Language Design and Implementation}},
                  publisher={ACM SIGPLAN},
                  address={Las Vegas},
                  month={June},
                  year={1997}}

John Hughes

Last modified: Mon Oct 20 13:45:28 MET DST 1997