Simon Peyton Jones

Simon Peyton Jones

Epic Games
在 epicgames.com 的电子邮件经过验证
被引用次数：33255
Programming languages Functional programming
Philip Wadler

Philip Wadler

University of Edinburgh and IOHK/IOG
在 inf.ed.ac.uk 的电子邮件经过验证
被引用次数：27901
Programming Languages Type Systems Functional Programming
Benjamin C. Pierce

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania
在 cis.upenn.edu 的电子邮件经过验证
被引用次数：24299
Programming languages type systems security and privacy functional programming formal specification and verification
Paul Hudak

Paul Hudak

Professor of Computer Science, Yale University
在 yale.edu 的电子邮件经过验证
被引用次数：17038
programming languages functional programming
John Hughes

John Hughes

Professor of Computer Science and Engineering, Chalmers University
在 chalmers.se 的电子邮件经过验证
被引用次数：16045
Functional programming programming languages software testing random testing property-based testing
Xavier Leroy

Xavier Leroy

Collège de France
在 college-de-france.fr 的电子邮件经过验证
被引用次数：13402
Programming languages Software verification Program proof Compilers Functional programming
Martin Erwig

Martin Erwig

Stretch Professor of Computer Science, Oregon State University
在 oregonstate.edu 的电子邮件经过验证
被引用次数：8993
Domain-Specific Languages Functional Programming Visual Languages
Dominik Schrempf

Dominik Schrempf

Dept. Biological Physics, Eötvös Loránd University, Budapest, Hungary
在 caesar.elte.hu 的电子邮件经过验证
被引用次数：8635
Population Genetics Phylogenetics Functional programming Mathematics Physics
Suresh Jagannathan

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University
在 cs.purdue.edu 的电子邮件经过验证
被引用次数：8530
Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems
Ralf Lämmel

Ralf Lämmel

University of Koblenz
在 uni-koblenz.de 的电子邮件经过验证
被引用次数：7697
Software Language Engineering Functional programming Domain-specific languages Model-driven software engineering
1 - 10