School of Computing

Publications by Prof David Turner

Also view these in the Kent Academic Repository

Book section
Telford, A. and Turner, D. (1997). Ensuring Streams Flow. In: Johnson, M. ed. Algebraic Methodology and Software Technology 6th International Conference. Berlin, Germany: Springer, pp. 509-523. Available at: http://dx.doi.org/10.1007/BFb0000493.
Turner, D. (1995). Elementary strong functional programming. In: Hartel, P. H. and Plasmeijer, R. eds. Funtional Programming Languages in Education First International Symposium. Berlin, Germany: Springer, pp. 1-13. Available at: http://dx.doi.org/10.1007/3-540-60675-0_35.
Monograph
Telford, A. and Turner, D. (2000). A Hierarchy of Languages With Strong Termination Properties. University of Kent.
Telford, A. and Turner, D. (1997). Ensuring the Productivity of Infinite Structures. University of Kent.
Conference or workshop item
Telford, A. and Turner, D. (1999). Ensuring Termination in ESFP. In: 15th British Colloquium in Theoretical Computer Science. Keele.
Total publications in KAR: 5 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/09/2020