Donald Sannella

Donald Sannella

Professor of Computer Science, University of Edinburgh
在 inf.ed.ac.uk 的电子邮件经过验证
被引用次数：5274
Algebraic specifications functional languages security static analysis
Damien Doligez

Damien Doligez

Chargé de recherches, Inria
在 inria.fr 的电子邮件经过验证
被引用次数：2562
Functional Languages Formal Methods Computer Security Formal Logic Automatic Theorem Proving
Martin Elsman

Martin Elsman

Professor, DIKU
在 di.ku.dk 的电子邮件经过验证
被引用次数：1544
Programming languages data-parallel programming functional languages memory management financial contracts
d. brian larkins

d. brian larkins

Associate Professor of Computer Science, Rhodes College
在 rhodes.edu 的电子邮件经过验证
被引用次数：662
Parallel and Distributed Computing Programming Languages Functional Languages Compiler Design
Paulo Ferreira

Paulo Ferreira

Professor, ISEP, Polytechnic of Porto, rua Dr. António Bernardino de Almeida, 4249-015 …
在 isep.ipp.pt 的电子邮件经过验证
被引用次数：479
Embedded Programming FPGAs Functional Languages
Andrew Farmer

Andrew Farmer

Facebook
在 fb.com 的电子邮件经过验证
被引用次数：240
Functional Languages Compilers Program Transformation Optimization
Lorenzo Verdoscia

Lorenzo Verdoscia

Researcher in computer science, ICAR-CNR
在 na.icar.cnr.it 的电子邮件经过验证
被引用次数：197
parallel architectures dataflow networks embedded systems functional languages
Vadim Tsesko

Vadim Tsesko

Saint-Petersburg State Polytechnical University
在 incubos.org 的电子邮件经过验证
被引用次数：37
Computer Science Distributed Computing Functional Languages Big Data
Kavon Farvardin

Kavon Farvardin

University of Chicago
在 cs.uchicago.edu 的电子邮件经过验证
被引用次数：34
compilers functional languages adaptive optimization autotuning