1. D. Dussart, J. Hughes, and P. Thiemann. Type Specialisation for Imperative Languages. In International Conference on Functional Programming, pages 204–216, Amsterdam, June 1997. ACM.
2. J. Hughes. An Introduction to Program Specialisation by Type Inference. In Functional Programming. Glasgow University, July 1996. published electronically.
3. Lect Notes Comput Sci;J. Hughes,1996
4. J. Hughes. Type Specialisation. In O. Danvy, R. Glück, and P. Thiemann, editors, 1998 Symposium on Partial Evaluation, volume 30 of Computing Surveys, Sept. 1998.
5. S. P. Jones, J. Hughes, (editors), L. Augustsson, D. Barton, B. Boutel, W. Burton, J. Fasel, K. Hammond, R. Hinze, P. Hudak, T. Johnsson, M. Jones, J. Launchbury, E. Meijer, J. Peterson, A. Reid, C. Runciman, and P. Wadler. Report on the Programming Language Haskell 98, a Non-strict, Purely Functional Language. available from http://haskell.org , February 1999.