David Turner (počítačový vědec) - David Turner (computer scientist)

Pro ostatní lidi jménem David Turner viz David Turner (disambiguation).

David A. Turner
narozený1946 (věk 73–74)
Státní občanstvíSpojené království
VzděláváníD. Phil., University of Oxford
Známý jakoSASL, Kent rekurzivní kalkulačka, Mirando
Vědecká kariéra
PolePočítačová věda
InstituceQueen Mary University of London
University of Texas v Austinu
University of Kent v Canterbury
Middlesex University
webová stránkawww.cs.kent.ac.Spojené království/lidé/personál/ dat

David A. Turner (narozen 1946) je a britský počítačový vědec. On je nejlépe známý pro navrhování a implementaci tří programovací jazyky, včetně prvního pro Funkcionální programování na základě líné hodnocení, redukce kombinátorového grafu, a polymorfní typy: SASL (1972), Kent rekurzivní kalkulačka (KRC) (1981) a komerčně podporované Mirando (1985). Miranda měla na pozdější silný vliv Haskell.[1]

On má doktor filozofie (D.Phil.) Z University of Oxford. Zastával profesury na Queen Mary College, London, University of Texas v Austinu a University of Kent v Canterbury, kde strávil většinu své kariéry a udrží si titul emeritního profesora výpočtů.

Podílel se na vývoji mezinárodní standardy v programování a informatice jako člen Mezinárodní federace pro zpracování informací (IFIP) Pracovní skupina IFIP 2.1 o algoritmických jazycích a výpočtech,[2] který specifikováno, udržuje a podporuje programovací jazyky ALGOL 60 a ALGOL 68.[3]

Je také emeritním profesorem na Middlesex University, Anglie.

Publikace

  • Turner, David A. Jazyková příručka SASL. Tech. plaz CS / 75/1. Katedra výpočetní vědy, University of St. Andrews 1975.
  • Turner, D.A. (1979). „Nová implementační technika pro aplikovatelné jazyky“. Software - praxe a zkušenosti. 9: 31. doi:10.1002 / spe.4380090105.
  • Další algoritmus pro Bracket Abstraction, D. A. Turner, Journal of Symbolic Logic, 44 (2): 267–270, 1979.
  • Funkční programování a jeho aplikace, D. A. Turner, Cambridge University Press 1982.
  • Generátor analyzátoru pro použití s ​​Mirandou, ACM Symposium on Applied Computing, strany 401–407, Philadelphia, USA, únor 1996.
  • Základní silné funkční programování, D. A. Turner, R. Plasmeijer, P. Hartel, eds, „První mezinárodní symposium o jazycích funkčního programování ve vzdělávání“, Přednášky z informatiky, svazek 1022, strany 1–13, Springer-Verlag, 1996.
  • Zajištění toku proudů„Alastair Telford a David Turner, Johnson, ed.,„ Algebraic Methodology and Software Technology “, 6. mezinárodní konference, AMAST '97, Sydney, Austrálie, prosinec 1997, Lecture Notes in Computer Science, svazek 1349, strany 509–523. AMAST, Springer-Verlag, prosinec 1997.
  • Zajištění produktivity nekonečných struktur„A.J.Telford, D.A.Turner,„ Technical Report TR 14-97 “, 37 stran, Computing Laboratory, University of Kent, březen 1998. Pod heslem„ Journal of Functional Programming “.
  • Zajištění ukončení v ESFP, A. J. Telford a D. A. Turner, v „15. britském kolokviu v teoretické informatice“, strana 14, Keele, duben 1999. Objevit se v „Journal of Universal Computer Science“.
  • Hierarchie elementárních jazyků se silnými normalizačními vlastnostmi, A.J.Telford, D.A.Turner, „Technical Report TR 2-00“, 66 stran, University of Kent Computing Laboratory, leden 2000.
  • Celkové funkční programování, Keynote address, pp 1–15, SBLP 2004, Rio de Janeiro, květen 2004.
  • Církevní teze a funkční programování, v A. Olszewski ed., „Církevní teze po 70 letech“, strany 518-544, Ontos Verlag, 2006.

Reference

  1. ^ Hudak, Paul; Hughes, John (2007). „Historie Haskella: být líný s třídou“.
  2. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. srpna 2016). „Profil pracovní skupiny IFIP 2.1“. Foswiki. Citováno 14. října 2020.
  3. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2. března 2011). „ScopeEtc: IFIP21: Foswiki“. Foswiki. Citováno 14. října 2020.

externí odkazy