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. In: Lecture Notes in Computer Science. Connecting with Computability. . Springer ISBN 978-3-030-80048-2. (doi:10.1007/978-3-030-80049-9_44) (KAR id:88974)
[thumbnail of turner.pdf_nocoversheet]

Turner, David A. (2013) Some History of Functional Programming Languages. In: Loidl, Hans-Wolfgang and Peña, Ricardo, eds. Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Lecture Notes in Computer Science . Springer, pp. 1-20. E-ISBN 978-3-642-40447-4. (doi:10.1007/978-3-642-40447-4_1) (KAR id:88959)
[thumbnail of author's preprint]

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)
[thumbnail of updated pdf]
Preview

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)
[thumbnail of zd] [thumbnail of A_Hierarchy_of_Languages_with_Strong_Termination_Properties.pdf]
Preview

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)
[thumbnail of Ensuring_Streams_Flow.pdf]
Preview
[thumbnail of Ensuring_Streams_Flow.ps]
Preview

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)
[thumbnail of zip] [thumbnail of Ensuring_the_Productivity_of_Infinite_Structures.pdf]
Preview

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)
[thumbnail of fple.pdf]
Preview

This list was generated on Mon Jan 17 19:26:54 2022 GMT.