Skip to main content

Items where Author, Editor or other role is "Turner, David"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: T
Number of items: 9.

T

Turner, David A. (2021) Constructive mathematics, Church's Thesis, and free choice sequences. Lecture Notes in Computer Science, . ISSN 0302-9743. (doi:10.1007/978-3-030-80049-9_44) (KAR id:88974)
Format: PDF

Turner, David A. (2013) Some History of Functional Programming Languages. Lecture Notes in Computer Science, . pp. 1-20. ISSN 0302-9743. (doi:10.1007/978-3-642-40447-4_1) (KAR id:88959)
Format: PDF

Turner, David A. (2006) Church's Thesis and Functional Programming. In: Olszewski, Adam and WoleĊ„ski, Jan and Janusz, Robert, eds. Church's Thesis After 70 Years. ontos mathematical logic . Ontos Verlag, Berlin, pp. 518-544. ISBN 3-938793-09-0. (doi:10.1515/9783110325461) (KAR id:88944)
Format: Other

Turner, David A. (2004) Total Functional Programming. Journal of Universal Computer Science, 10 (7). pp. 751-768. ISSN 0948-695X. E-ISSN 0948-6968. (doi:10.3217/jucs-010-07-0751) (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:88938)

Telford, Alastair J., Turner, David A. (2000) Ensuring Termination in ESFP. Journal of Universal Computer Science, 6 (4). pp. 474-488. (doi:10.3217/jucs-006-04) (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:21845)

Telford, Alastair J. and Turner, David A. (2000) A Hierarchy of Languages with Strong Termination Properties. Technical report. University of Kent, The Computing Laboratory, The University, Canterbury, Kent, CT2 7NF (KAR id:22050)
Format: Other Format: PDF

Telford, Alastair J. and Turner, David A. (1997) Ensuring Streams Flow. In: Johnson, Michael, ed. Algebraic Methodology and Software Technology 6th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 509-523. ISBN 978-3-540-63888-9. E-ISBN 978-3-540-69661-2. (doi:10.1007/BFb0000493) (KAR id:21427)
Format: PDF Format: Postscript

Telford, Alastair J. and Turner, David A. (1997) Ensuring the Productivity of Infinite Structures. Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:21461)
Format: Other Format: PDF

Turner, David A. (1995) Elementary strong functional programming. Functional Programming Languages in Education, 1022 . pp. 1-13. (doi:10.1007/3-540-60675-0_35) (KAR id:19100)
Format: PDF

This list was generated on Sun Aug 7 19:25:35 2022 BST.