菲利普·瓦德勒

菲利普·瓦德勒
菲利普·瓦德勒
	瓦德勒在爱丁堡大学教课
出生	1956年4月8日
母校	斯坦福大学 (BSc); 卡内基梅隆大学 (PhD);
奖项	爱丁堡皇家学会院士 (2005) [1]; 计算机协会院士 (2007);
网站	wadler.blogspot.com; homepages.inf.ed.ac.uk/wadler;
	科学生涯
机构	爱丁堡大学; 贝尔实验室; 牛津大学; 卡内基梅隆大学; 斯坦福大学;

菲利普·李·瓦德勒（Philip Lee Wadler，1956年4月8日—）是一位美国電腦科學家，以其对编程语言设计和类型论的贡献而闻名，2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献[2]，包括函数式编程中单子的使用、纯函数式语言Haskell的设计、[3]和XQuery声明式查询语言等。1984年，他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型类型的工作。[4]

参考文献

Royal Society of Edinburgh profile
. O'Reilly Media. [March 20, 2017]. （原始内容存档于2013-09-27）.
Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B. . ACM SIGPLAN Notices. 1992, 27 (5): 1. doi:10.1145/130697.130699.
Wadler, Philip; Naftalin, Maurice. . Sebastopol, CA: O'Reilly. 2007. ISBN 978-0-596-52775-4.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[rse-1] Royal Society of Edinburgh profile

[2] . O'Reilly Media. [March 20, 2017]. （原始内容存档于2013-09-27）.

[3] Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B. . ACM SIGPLAN Notices. 1992, 27 (5): 1. doi:10.1145/130697.130699.

[Wadler,_Philip;_Naftalin,_Maurice_2007-4] Wadler, Philip; Naftalin, Maurice. . Sebastopol, CA: O'Reilly. 2007. ISBN 978-0-596-52775-4.