Generalising diverging sequences of rewrite rules by synthesising new sorts
Thomas, Muffy,
Watson, Phil
(1991)
Generalising diverging sequences of rewrite rules by synthesising new sorts.
In: Jones, Simon L. Peyton and Hutton, Graham and Holst, Carsten Kehler, eds.
Functional Programming, Glasgow 1990, Proceedings of the 1990 Glasgow Workshop on Functional Programming.
Workshops in Computing
.
pp. 268-273.
Springer Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21007)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
(Contact us about this Publication)
|
- Depositors only (login required):
|