الملفات الشخصية

Simon Peyton Jones

Epic Games

بريد إلكتروني تم التحقق منه على epicgames.com

تم اقتباسها في عدد: 34033

Programming languages Functional programming

Philip Wadler

University of Edinburgh and IOHK/IOG

بريد إلكتروني تم التحقق منه على inf.ed.ac.uk

تم اقتباسها في عدد: 28290

Programming Languages Type Systems Functional Programming

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania

بريد إلكتروني تم التحقق منه على cis.upenn.edu

تم اقتباسها في عدد: 24836

Programming languages type systems security and privacy functional programming formal specification and verification

Paul Hudak

Professor of Computer Science, Yale University

بريد إلكتروني تم التحقق منه على yale.edu

تم اقتباسها في عدد: 17220

programming languages functional programming

John Hughes

Professor of Computer Science and Engineering, Chalmers University

بريد إلكتروني تم التحقق منه على chalmers.se

تم اقتباسها في عدد: 15700

Functional programming programming languages software testing random testing property-based testing

Xavier Leroy

Collège de France

بريد إلكتروني تم التحقق منه على college-de-france.fr

تم اقتباسها في عدد: 13745

Programming languages Software verification Program proof Compilers Functional programming

Dominik Schrempf

Dept. Biological Physics, Eötvös Loránd University, Budapest, Hungary

بريد إلكتروني تم التحقق منه على caesar.elte.hu

تم اقتباسها في عدد: 11198

Population Genetics Phylogenetics Functional programming Mathematics Physics

Harry Askham

DeepMind

بريد إلكتروني تم التحقق منه على google.com

تم اقتباسها في عدد: 9545

Applied Machine Learning Software Engineering Functional Programming

Martin Erwig

Stretch Professor of Computer Science, Oregon State University

بريد إلكتروني تم التحقق منه على oregonstate.edu

تم اقتباسها في عدد: 9179

Domain-Specific Languages Functional Programming Visual Languages

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University

بريد إلكتروني تم التحقق منه على cs.purdue.edu

تم اقتباسها في عدد: 8723

Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems

1 - 10