David A. Turner (nacido el 26 de enero de 1946) es un informático británico . Es mejor conocido por diseñar e implementar tres lenguajes de programación , incluido el primero para la programación funcional basada en evaluación diferida , reducción de gráficos combinatorios y tipos polimórficos : SASL (1972), Kent Recursive Calculator (KRC) (1981) y el comercialmente compatible. Miranda (1985). Miranda tuvo una fuerte influencia en el último Haskell . [1]
David A. Turner | |
---|---|
Nació | 1946 (74 a 75 años) |
Ciudadanía | Reino Unido |
Educación | D.Phil. , Universidad de Oxford |
Conocido por | SASL , calculadora recursiva de Kent , Miranda |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad Queen Mary de Londres Universidad de Texas en Austin Universidad de Kent en Canterbury Middlesex University |
Sitio web | www |
Tiene un Doctorado en Filosofía (D.Phil.) De la Universidad de Oxford . Ha sido profesor en el Queen Mary College de Londres , la Universidad de Texas en Austin y la Universidad de Kent en Canterbury, donde ha desarrollado la mayor parte de su carrera y conserva el título de Profesor Emérito de Computación.
Estuvo involucrado en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo IFIP 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [2] que especifica , mantiene y apoya los lenguajes de programación ALGOL 60 y ALGOL 68 . [3]
También es profesor emérito en la Universidad de Middlesex , Inglaterra.
Publicaciones
- Turner, David A. SASL manual de idiomas. Tech. rept. CS / 75/1. Departamento de Ciencias Computacionales, Universidad de St. Andrews 1975.
- Turner, DA (1979). "Una nueva técnica de implementación de lenguajes aplicativos". Software: práctica y experiencia . 9 : 31–49. doi : 10.1002 / spe.4380090105 . S2CID 40541269 .
- Otro algoritmo para la abstracción de soportes , DA Turner, Journal of Symbolic Logic, 44 (2): 267-270, 1979.
- Programación funcional y sus aplicaciones , DA Turner, Cambridge University Press 1982.
- A Parser Generator para usar con Miranda , Simposio ACM sobre Computación Aplicada, páginas 401–407, Filadelfia, EE. UU., Febrero de 1996.
- Programación funcional fuerte elemental , DA Turner, en R. Plasmeijer, P. Hartel, eds, "Primer Simposio Internacional sobre Lenguajes de Programación Funcional en Educación", Lecture Notes in Computer Science , volumen 1022, páginas 1-13, Springer-Verlag , 1996 .
- Asegurar el flujo de corrientes , Alastair Telford y David Turner, en Johnson, ed., "Metodología algebraica y tecnología de software", 6ª Conferencia Internacional, AMAST '97, Sydney Australia, diciembre de 1997, Lecture Notes in Computer Science, volumen 1349, páginas 509– 523. AMAST, Springer-Verlag, diciembre de 1997.
- Asegurando la productividad de estructuras infinitas , AJTelford, DATurner, "Informe técnico TR 14-97", 37 páginas, Laboratorio de Computación, Universidad de Kent, marzo de 1998. Sometido a "Journal of Functional Programming".
- Asegurando Terminación en ESFP , AJ Telford y DA Turner, en "15th British Colloquium in Theoretical Computer Science", página 14, Keele, abril de 1999. Para aparecer en "Journal of Universal Computer Science".
- A Hierarchy of Elementary Languages with Strong Normalization Properties , AJTelford, DATurner, "Technical Report TR 2-00", 66 páginas, University of Kent Computing Laboratory, enero de 2000.
- Programación funcional total , discurso de apertura, págs. 1-15, SBLP 2004, Río de Janeiro, mayo de 2004.
- Church's Thesis and Functional Programming , en A. Olszewski ed., "Church's Thesis after 70 years '", páginas 518-544, Ontos Verlag, 2006.
Referencias
- ^ Hudak, Paul; Hughes, John (2007). "Una historia de Haskell: ser vago con la clase" .
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 14 de octubre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 14 de octubre de 2020 .
enlaces externos
- Sitio web oficial , Universidad de Kent en Canterbury
- Copia de archivo de una antigua página del personal de la Universidad de Middlesex
- Lenguaje de programación funcional Miranda