Résultats de recherche
Philip Wadler (né aux États-Unis le 8 avril 1956) est un informaticien américain connu pour ses contributions à la conception des langages de programmation et de la théorie des types. Biographie
- Nico Habermann (en), Guy Lewis Steele
- homepages.inf.ed.ac.uk/wadler
Philip Lee Wadler (born April 8, 1956) FRS FRSE is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh .
- Projects
- Currently
- Formerly
- Upcoming Events
- Research Interests
- Awards
- Recent Events
- Recent Talks and Papers
- Publications and Talks
- Students
TypeScript: The Next Generationfunded by aMicrosoft Research PhD Scholarship. (No longer available; filled by Jack Williamson.)Professor of Theoretical Computer Science, Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh(2003—).Senior Research Fellow, Area Leader Programming Languages, IOHK.Bell Labs 1127, Lucent Technologies, Murray Hill, Researcher (1996–2000).Chalmers FP, 8 June 2020, invited talk. pdf videoZuriHac, Zurich, 13 June 2020. Keynote. (Virtual.) videoConcurrency. A recentresultshows how to extend the Curry-Howard correspondence to session types.WithSimon Gay andNobuko Yoshida,I am leading the EPSRC programme grantFrom Data Types to Session Type...Agda. With Wen Kokke I coauthored the textbook, Programming Language Foundations in Agda. A paperdescribing the book appeared in SBMF 2018, and won the prize for best paper.Blame. Theblame calculus,developed with Robby Findler,Jeremy Siek,and Amal Ahmed,integrates different type systems via casts. Casts may mediate between dynamicand static types, or between simple an...Links.I led the team that developedLinksa programming language for web application development.My collaborators includeEzra Cooper,Sam Lindley,and Jeremy Yallop.Our work onformletshas been included...Best paper, SBMF 2018, for Programming Language Foundations in Agda.WGT, New Orleans, 25 January 2020. pdfPADL, New Orleans, 20—21 January 2020. Panel. pdfCollège de France, Paris, 12 December 2019. Invited talk. pdfTowards Races in Linear Logic, Wen Kokke, J. Garrett Morris, and Philip Wadler, Coordination, June 2019.Current students (PhD): 1. Jakub Zalewski (PhD), starting fall 2015, enrolled in Centre for Doctoral Training in Pervasive Parallelism. 2. Simon Fowler (PhD), started fall 2014, enrolled in Centre for Doctoral Training in Pervasive Parallelism. 3. Jack Williams (PhD), started fall 2014, recipient of a Microsoft Research PhD Scholarship. 4. Shayan N...
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is a Fellow of the Royal Society, a Fellow of the Royal Society of Edinburgh, and an ACM Fellow.
Philip Wadler. University of Edinburgh and IOHK/IOG. Verified email at inf.ed.ac.uk - Homepage. Programming Languages Type Systems Functional Programming. Title. Sort. Sort by citations Sort by year Sort by title. Cited by.
Chair of Theoretical Computer Science. Roles. Associate Member of Institute for Computing Systems Architecture. Member of Laboratory for Foundations of Computer Science. Coordinator of Internationalisation - South America Region. Honours project supervision of Standard allocation.