데이비드 터너(컴퓨터 과학자)

David Turner (computer scientist)
David Turner라는 이름의 다른 사람에 대해서는 David Turner를 참조하십시오.
데이비드 A.터너
태어난1946년(75세~76세)
시민권영국
교육옥스퍼드 대학교 D.Phil
로 알려져 있다SASL, Kent 재귀 계산기, 미란다
과학 경력
필드컴퓨터 공학
기관퀸 메리 대학교
텍사스 대학교 오스틴
켄트 대학교 캔터베리
미들섹스 대학교
웹 사이트www.cs.kent.ac.uk/people/staff/dat

데이비드 A. 터너(Turner, 1946년 1월 26일 ~ )는 영국의 컴퓨터 과학자이다.그는 세 가지 프로그래밍 언어를 설계하고 구현한 것으로 가장 잘 알려져 있습니다.첫 번째는 느린 평가에 기초한 함수형 프로그래밍, 조합형 그래프 축소 및 다형성 유형: SASL (1972), Kent Recursive Calculator (KRC) (1981) 및 상업적으로 지원되는 미란다 (1985)입니다.미란다는 후에 하스켈에게 [1]강한 영향을 끼쳤다.

그는 철학 박사 학위를 가지고 있다.옥스퍼드 대학에서 온 Phil.)입니다.그는 런던 퀸 메리 칼리지, 오스틴 텍사스 대학교, 캔터베리의 켄트 대학교에서 교수직을 역임했으며, 대부분의 경력을 컴퓨터 명예 교수라는 직함을 보유하고 있습니다.

그는 국제정보처리연맹(IFIP) IFIP 알고리즘 언어 및 계산 [2]실무그룹 2.1의 일원으로 프로그래밍 언어 60 및 ALGOL [3]68을 지정, 유지 및 지원했습니다.

그는 또한 영국 미들섹스 대학의 명예 교수이다.

출판물

  • 터너, 데이비드 A. SASL 언어 매뉴얼기술, 렙트CS/75/1세인트루이스 대학교 전산학과앤드류스 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.
  • 괄호 추상화를 위한 또 다른 알고리즘, D. A.Turner, Journal of Symbolic Logic, 44 (2):267–270, 1979.
  • 기능 프로그래밍 및 그 응용 프로그램, D.A.1982년 케임브리지 대학 출판부 터너입니다
  • 미란다와 함께 사용하는 파서 제너레이터, 응용 컴퓨팅에 관한 ACM 심포지엄, 401~407쪽, 미국 필라델피아, 1996년 2월
  • 초강력 기능 프로그래밍, D.A.R. Plasmejer, P. Hartel, eds, "제1회 교육 기능 프로그래밍 언어에 관한 국제 심포지엄", 컴퓨터 과학 강의 노트, 제1022권, 1~13쪽, Springer-Verlag, 1996.
  • Streams Flow, Alastair Telford 및 David Turner, Johnson의 "Algebraic Methodology and Software Technology", 제6회 국제회의, AMAST '97, 시드니, 1997년 12월, 제1349권, 509-523쪽, 컴퓨터 과학 강의 노트.AMAST, Springer-Verlag, 1997년 12월
  • 무한 확장 구조의 생산성 보장, A.J.텔포드, 지방검찰청Turner, "Technical Report TR 14-97", 37페이지, 켄트대학교 컴퓨터연구소, 1998년 3월"기능 프로그래밍 저널"에 제출 중입니다.
  • ESFP, A. J. Telford 및 D에서의 종료 확인A. Turner, "제15회 이론 컴퓨터 과학 영국 토론회"에서, 킬, 1999년 4월, 14페이지."유니버설 컴퓨터 사이언스 저널"에 실리다.
  • 강력한 정규화 특성을 가진 기초 언어의 계층화, A.J.텔포드, 지방검찰청Turner, "Technical Report TR 2-00", 66페이지, 켄트 대학 컴퓨터 연구소, 2000년 1월
  • Total Functional Programming, 기조 연설, 페이지 1~15, SBLP 2004, 리우데자네이루, 2004년 5월.
  • 처치 논문과 기능 프로그래밍, A.Olszewski ed., "70년 후 교회의 논문", 518-544페이지, Ontos Verlag, 2006.

레퍼런스

  1. ^ Hudak, Paul; Hughes, John (2007). "A History of Haskell: being lazy with class".
  2. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 14 October 2020.
  3. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 14 October 2020.

외부 링크