Profiluri

Stephanie Weirich

Professor of Computer Science, University of Pennsylvania

Adresă de e-mail confirmată pe cis.upenn.edu

Citat de 5236 ori

Programming Languages Functional programming Type Systems Dependent types Generic programming

Patrik Jansson

Professor of Computer Science, Chalmers University of Technology and University of …

Adresă de e-mail confirmată pe chalmers.se

Citat de 2231 ori

Computer Science Software Technology Functional Programming Generic Programming Programming Languages

Andres Löh

Haskell Consultant, Well-Typed LLP

Adresă de e-mail confirmată pe well-typed.com

Citat de 2076 ori

Generic Programming Functional Programming Type Systems Parallelism Programming Languages

José Pedro Magalhães

Standard Chartered Bank

Adresă de e-mail confirmată pe cs.ox.ac.uk

Citat de 983 ori

Programming Languages Functional Programming Generic Programming Haskell

Joel Falcou

Associate professor of computer science, paris sud university

Adresă de e-mail confirmată pe lri.fr

Citat de 934 ori

generic programming generative programming parallel computing compilation parallel architecture

Andrew Sutton

University of Akron

Adresă de e-mail confirmată pe uakron.edu

Citat de 467 ori

Software engineering Generic programming Library design

Bruno Bachelet

Associate Professor in Computer Science - Université Clermont Auvergne

Adresă de e-mail confirmată pe uca.fr

Citat de 347 ori

Generic Programming Optimization Simulation

Steven Keuchel

Vrije Universiteit Brussel

Adresă de e-mail confirmată pe vub.be

Citat de 172 ori

Programming Languages Functional Programming Type Theory Dependent Types Generic Programming

Julia Belyakova

Purdue University

Adresă de e-mail confirmată pe purdue.edu

Citat de 112 ori

programming languages type theory generic programming compiler construction

Sean Leather

PhD Student, Computer Science, Utrecht University

Adresă de e-mail confirmată pe uu.nl

Citat de 91 ori

Type Systems Generic Programming Program Transformation Haskell Functional Programming

1 - 10