To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

David Turner (computer scientist)

From Wikipedia, the free encyclopedia

For other people named David Turner, see David Turner (disambiguation).

David A. Turner
Born(1946-01-26)26 January 1946
Battersea, London, England
Died19 October 2023(2023-10-19) (aged 77)
CitizenshipUnited Kingdom
EducationD.Phil., University of Oxford
Known forSASL, Kent Recursive Calculator, Miranda
Scientific career
FieldsComputer science
InstitutionsQueen Mary University of London
University of Texas at Austin
University of Kent at Canterbury
Middlesex University
Doctoral advisorChristopher Strachey and Dana Scott
Websitewww.cs.kent.ac.uk/people/staff/dat

David A. Turner (26 January 1946 – 19 October 2023) was a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL (1972), Kent Recursive Calculator (KRC) (1981), and the commercially supported Miranda (1985). Miranda had a strong influence on the later Haskell.[1]

In 1981, Turner received the Doctor of Philosophy (D.Phil.) from the University of Oxford, for his dissertation "Aspects of the Implementation of Programming Languages: The Compilation of an Applicative Language to Combinatory Logic", supervised by Christopher Strachey and Dana Scott.[2][3][4] He held professorships at Queen Mary College, London, University of Texas at Austin and the University of Kent at Canterbury, where he spent most of his career and retained the title of Emeritus Professor of Computation.

Turner was involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[5] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.[6] He was also a member of the IFIP Working Group 2.8 on Functional Programming, which related to his creation of Miranda.[7]

Turner was an emeritus professor at the University of Kent and Middlesex University in England.[8][9]

Turner died on 19 October 2023, at the age of 77.[2]

YouTube Encyclopedic

  • 1/3
    Views:
    333
    204 955
    60 496
  • The file system and the command line interface
  • Java Web Programming with Eclipse: Tomcat
  • Java Web Programming with Eclipse: Database-Driven Web Applications

Transcription

Publications

  • Turner, David A. SASL language manual. Tech. rept. CS/75/1. Department of Computational Science, University of St Andrews, 1975.
  • Turner, D.A. (1979). "A New Implementation Technique for Applicative Languages". Software: Practice and Experience. 9: 31–49. doi:10.1002/spe.4380090105. S2CID 40541269.
  • Another Algorithm for Bracket Abstraction, D. A. Turner, Journal of Symbolic Logic, 44(2):267–270, 1979.
  • Functional Programming and its Applications, D. A. Turner, Cambridge University Press 1982.
  • A Parser Generator for use with Miranda, ACM Symposium on Applied Computing, pages 401–407, Philadelphia, USA, February 1996.
  • Elementary Strong Functional Programming, D. A. Turner, in R. Plasmeijer, P. Hartel, eds, "First International Symposium on Functional Programming Languages in Education", Lecture Notes in Computer Science, volume 1022, pages 1–13, Springer-Verlag, 1996.
  • Ensuring Streams Flow, 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.
  • Ensuring the Productivity of Infinite Structures, 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".
  • Ensuring Termination in ESFP, 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".
  • A Hierarchy of Elementary Languages with Strong Normalisation Properties, A.J.Telford, D.A.Turner, "Technical Report TR 2-00", 66 pages, University of Kent Computing Laboratory, January 2000.
  • Total Functional Programming, Keynote address, pp 1–15, SBLP 2004, Rio de Janeiro, May 2004.
  • Church's Thesis and Functional Programming, in A. Olszewski ed., "Church's Thesis after 70 years'", pages 518-544, Ontos Verlag, 2006.

References

  1. ^ Hudak, Paul; Hughes, John (2007). "A History of Haskell: being lazy with class".
  2. ^ a b Sarah Nicholas (24 November 2023). "David Turner obituary". The Guardian.
  3. ^ Turner, David. "Genealogy". David Turner homepage. Retrieved 28 November 2023.
  4. ^ "David A. Turner". Mathematics Genealogy Project. Retrieved 28 November 2023.
  5. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 14 October 2020.
  6. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 14 October 2020.
  7. ^ Ralf Hinze (2016). "WG2.8 Functional Programming".
  8. ^ "David Turner – Inventor of Miranda". lambda DAλS. 2017. Retrieved 21 November 2023.
  9. ^ "David Turner – Designer of SASL, KRC and Miranda". CODE SYNC. 2020. Retrieved 21 November 2023.

External links

This page was last edited on 24 December 2023, at 10:04
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy