Resultado da Busca
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 .
- Philip Lee Wadler, April 8, 1956 (age 67)
- Nico Habermann
- American
- 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.
P Wadler. Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 61-78. , 1990. 1389. 1990. Featherweight Java: a minimal core calculus for Java and GJ. A Igarashi, BC Pierce, P Wadler. ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450. , 2001.
10 de mai. de 2023 · [10/05/2023] Professor Philip Wadler FRS Professor of Theoretical Computer Science at the School of Informatics, has been elected a Fellow of the Royal Society. He joins existing fellows from the School of Informatics: Jane Hillston, Alan Bundy, Peter Buneman, Wenfei Fan and Gordon Plotkin as well as notable past fellows: Isaac ...
Philip WADLER | Cited by 14,683 | of The University of Edinburgh, Edinburgh (UoE) | Read 229 publications | Contact Philip WADLER
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. 609 followers · 0 following. University of Edinburgh. Edinburgh. http://homepages.inf.ed.ac.uk/wadler/ https://orcid.org/0000-0001-7619-6378. Achievements. Beta Send feedback. Highlights. Pro. Organizations. Block or Report.