Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
David Turner (computer scientist)
open-in-new
<h2 id="publications">Publications</h2> <ul><li>Turner, David A. SASL language manual. Tech. rept. CS/75/1. Department of Computational Science, <a href="/facts/University_of_St_Andrews/IwXjmljw">University of St Andrews</a>, 1975.</li> <li>Turner, D.A. (1979). "A New Implementation Technique for Applicative Languages". <i>Software: Practice and Experience</i>. 9: 31–49. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1002%2Fspe.4380090105">10.1002/spe.4380090105</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:40541269">40541269</a>.</li> <li><i>Another Algorithm for Bracket Abstraction</i>, D. A. Turner, Journal of Symbolic Logic, 44(2):267–270, 1979.</li> <li><i>Functional Programming and its Applications</i>, D. A. Turner, <a href="/facts/Cambridge_University_Press/fgEBSSRq">Cambridge University Press</a> 1982.</li> <li><i>A Parser Generator for use with Miranda</i>, ACM Symposium on Applied Computing, pages 401–407, Philadelphia, USA, February 1996.</li> <li><i>Elementary Strong Functional Programming</i>, D. A. Turner, in R. Plasmeijer, P. Hartel, eds, "First International Symposium on Functional Programming Languages in Education", <a href="/facts/Lecture_Notes_in_Computer_Science/1UeA77BC">Lecture Notes in Computer Science</a>, volume 1022, pages 1–13, <a href="/facts/Springer_Science%252BBusiness_Media/nAesf6nT">Springer-Verlag</a>, 1996.</li> <li><i>Ensuring Streams Flow</i>, Alastair Telford and David Turner, in Johnson, ed., "Algebraic Methodology and Software Technology", 6th International Conference, AMAST '97, Sydney Australia, December 1997, Lecture Notes in Computer Science, volume 1349, pages 509–523. AMAST, Springer-Verlag, December 1997.</li> <li><i>Ensuring the Productivity of Infinite Structures</i>, A.J.Telford, D.A.Turner, "Technical Report TR 14-97", 37 pages, Computing Laboratory, University of Kent, March 1998. Under submission to "Journal of Functional Programming".</li> <li><i>Ensuring Termination in ESFP</i>, A. J. Telford and D. A. Turner, in "15th British Colloquium in Theoretical Computer Science", page 14, Keele, April 1999. To appear in "Journal of Universal Computer Science".</li> <li><i>A Hierarchy of Elementary Languages with Strong Normalisation Properties</i>, A.J.Telford, D.A.Turner, "Technical Report TR 2-00", 66 pages, University of Kent Computing Laboratory, January 2000.</li> <li><i>Total Functional Programming</i>, Keynote address, pp 1–15, SBLP 2004, Rio de Janeiro, May 2004.</li> <li><i>Church's Thesis and Functional Programming</i>, in A. Olszewski ed., "Church's Thesis after 70 years'", pages 518-544, Ontos Verlag, 2006.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.cs.kent.ac.uk/people/staff/dat">Official website</a>, University of Kent at Canterbury</li> <li><a href="https://web.archive.org/web/20071121040532/http://www.cs.mdx.ac.uk/staffpages/dat/">Staff page</a> at Middlesex University archived on <a href="/facts/Archive.org/PHStU8Lo">Archive.org</a></li> <li><a href="http://www.miranda.org.uk/">Miranda functional programming language</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Hudak, Paul; Hughes, John (2007). "A History of Haskell: being lazy with class". <a href="http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/" target="_blank">http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>D. A. Turner (1979). "A new implementation technique for applicative languages". Software: Practice and Experience. 9: 31–49. doi:10.1002/spe.4380090105. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Lennart Augustsson; Thomas Johnsson (November 1989). "Parallel graph reduction with the (V , G)-machine". Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89. pp. 202–213. doi:10.1145/99370.99386. ISBN 0-89791-328-0. <a href="0-89791-328-0" target="_blank">0-89791-328-0</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Sarah Nicholas (24 November 2023). "David Turner obituary". The Guardian. <a href="https://www.theguardian.com/technology/2023/nov/24/david-turner-obituary" target="_blank">https://www.theguardian.com/technology/2023/nov/24/david-turner-obituary</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Turner, David. "Genealogy". David Turner homepage. Retrieved 28 November 2023. <a href="https://www.cs.kent.ac.uk/people/staff/dat/miranda/genealogy.html" target="_blank">https://www.cs.kent.ac.uk/people/staff/dat/miranda/genealogy.html</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"David A. Turner". Mathematics Genealogy Project. Retrieved 28 November 2023. <a href="https://www.mathgenealogy.org/id.php?id=75066" target="_blank">https://www.mathgenealogy.org/id.php?id=75066</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 14 October 2020. <a href="/wiki/Lambert_Meertens" target="_blank">/wiki/Lambert_Meertens</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 14 October 2020. <a href="/wiki/Jeremy_Gibbons" target="_blank">/wiki/Jeremy_Gibbons</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Ralf Hinze (2016). "WG2.8 Functional Programming". <a href="https://www.cs.ox.ac.uk/ralf.hinze/WG2.8/" target="_blank">https://www.cs.ox.ac.uk/ralf.hinze/WG2.8/</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>"David Turner – Inventor of Miranda". lambda DAλS. 2017. Retrieved 21 November 2023. <a href="https://www.lambdadays.org/lambdadays2017/david-turner" target="_blank">https://www.lambdadays.org/lambdadays2017/david-turner</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>"David Turner – Designer of SASL, KRC and Miranda". CODE SYNC. 2020. Retrieved 21 November 2023. <a href="https://codesync.global/speaker/david-turner/" target="_blank">https://codesync.global/speaker/david-turner/</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>"Forced Displacement in the Occupied Palestinian Territories". Israeli Committee Against House Demolitions. 2018. <a href="https://icahd.org/2018/04/23/forced-displacement-in-the-occupied-palestinian-territories/" target="_blank">https://icahd.org/2018/04/23/forced-displacement-in-the-occupied-palestinian-territories/</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>"Prospects for a solution to the Israel-Palestine conflict". Central London Humanists. 23 November 2017. <a href="https://www.conwayhall.org.uk/whats-on/event/prospects-for-a-solution-to-the-israel-palestine-conflict-with-david-turner/" target="_blank">https://www.conwayhall.org.uk/whats-on/event/prospects-for-a-solution-to-the-israel-palestine-conflict-with-david-turner/</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>Sarah Nicholas (24 November 2023). "David Turner obituary". The Guardian. <a href="https://www.theguardian.com/technology/2023/nov/24/david-turner-obituary" target="_blank">https://www.theguardian.com/technology/2023/nov/24/david-turner-obituary</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> </ol>