Abstract
The essence of partial evaluation is beautifully simple: we just take a program, together with values of some of its inputs; we perform the operations that depend only on known inputs, build a new program from the other operations, and finally obtain a residual program which solves the same problem as the original for a subclass of the cases. Work by Neil Jones and his group over the past decade and a half has demonstrated just how powerful this simple idea really is.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
J. Hughes. An Introduction to Program Specialisation by Type Inference. In Functional Programming. Glasgow University, July 1996. published electronically.
J. Hughes. Type Specialisation for the Lambda-calculus; or, A New Paradigm for Partial Evaluation based on Type Inference. In O. Danvy, R. Glück, and P. Thiemann, editors, Partial Evaluation, volume 1110 of LNCS, pages 183–215. Springer-Verlag, February 1996.
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.
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.
T. Æ. Mogensen. Constructor specialization. In D. Schmidt, editor, ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 22–32, June 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hughes, J. (1999). A Type Specialisation Tutorial. In: Hatcliff, J., Mogensen, T.Æ., Thiemann, P. (eds) Partial Evaluation. DIKU 1998. Lecture Notes in Computer Science, vol 1706. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47018-2_12
Download citation
DOI: https://doi.org/10.1007/3-540-47018-2_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66710-0
Online ISBN: 978-3-540-47018-2
eBook Packages: Springer Book Archive