David Turner (informatyk) - David Turner (computer scientist)
David A. Turner | |
---|---|
Urodzony | 1946 (wiek 74-75) |
Obywatelstwo | Zjednoczone Królestwo |
Edukacja | D.Phil. , Uniwersytet Oksfordzki |
Znany z | SASL , kalkulator rekurencyjny Kent , Miranda |
Kariera naukowa | |
Pola | Informatyka |
Instytucje |
Queen Mary University of London University of Texas na Austin University of Kent na Canterbury Middlesex University |
Stronie internetowej | www |
David A. Turner (ur. 26 stycznia 1946) to brytyjski informatyk . Najbardziej znany jest z projektowania i implementacji trzech języków programowania , w tym pierwszego do programowania funkcjonalnego opartego na leniwej ocenie , redukcji grafów kombinatorowych i typów polimorficznych : SASL (1972), Kent Recursive Calculator (KRC) (1981) oraz komercyjnie wspierany Miranda (1985). Miranda miała silny wpływ na późniejszego Haskella .
Posiada doktorat z filozofii (D.Phil.) na Uniwersytecie Oksfordzkim . Był profesorem w Queen Mary College w Londynie , University of Texas w Austin oraz University of Kent w Canterbury, gdzie spędził większość swojej kariery i zachowuje tytuł Emeritus Professor of Computation.
Był zaangażowany w opracowywanie międzynarodowych standardów w programowaniu i informatyce, jako członek Międzynarodowej Federacji Przetwarzania Informacji (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, która określa , utrzymuje i wspiera języki programowania ALGOL 60 i ALGOL 68 .
Jest również emerytowanym profesorem na Uniwersytecie Middlesex w Anglii.
Publikacje
- Turner, David A. Podręcznik języka SASL. Tech. rep. CS/75/1. Wydział Nauk Obliczeniowych Uniwersytetu St. Andrews 1975.
- Turner, DA (1979). „Nowa technika wdrażania języków aplikacyjnych”. Oprogramowanie — praktyka i doświadczenie . 9 : 31–49. doi : 10.1002/spe.4380090105 . S2CID 40541269 .
- Inny algorytm abstrakcji wsporników , DA Turner, Journal of Symbolic Logic, 44(2):267–270, 1979.
- Programowanie funkcjonalne i jego zastosowania , DA Turner, Cambridge University Press 1982.
- Generator parsera do użytku z Mirandą , ACM Symposium on Applied Computing, strony 401–407, Filadelfia, USA, luty 1996.
- Elementary Strong Functional Programming , DA Turner, w: R. Plasmeijer, P. Hartel, red., „Pierwsze międzynarodowe sympozjum na temat języków programowania funkcjonalnego w edukacji”, Notatki z informatyki , tom 1022, s. 1–13, Springer-Verlag , 1996 .
- Ensuring Streams Flow , Alastair Telford i David Turner, w Johnson, red., „Algebraic Methodology and Software Technology”, 6. Międzynarodowa Konferencja, AMAST '97, Sydney Australia, grudzień 1997, Notatki z informatyki, tom 1349, strony 509– 523. AMAST, Springer-Verlag, grudzień 1997.
- Zapewnienie produktywności struktur nieskończonych , AJTelford, DATurner, „Raport techniczny TR 14-97”, 37 stron, Computing Laboratory, University of Kent, marzec 1998. W trakcie składania do „Journal of Functional Programming”.
- Zapewnienie terminacji w ESFP , AJ Telford i DA Turner, w "15th British Colloquium in Theoretical Computer Science", strona 14, Keele, kwiecień 1999. Pojawi się w "Journal of Universal Computer Science".
- Hierarchia języków elementarnych o silnych właściwościach normalizacyjnych , AJTelford, DATurner, „Raport techniczny TR 2-00”, 66 stron, Laboratorium komputerowe Uniwersytetu w Kent, styczeń 2000 r.
- Total Functional Programming , Keynote address, s. 1–15, SBLP 2004, Rio de Janeiro, maj 2004.
- Teza Kościoła i Programowanie Funkcjonalne , w red. A. Olszewskiego, "Teza Kościoła po 70 latach", s. 518-544, Ontos Verlag, 2006.