Graham Hutton

Graham Hutton

Professor of Computer Science, University of Nottingham
Dirección de correo verificada de nottingham.ac.uk
Citado por 2984
Haskell Program Transformation Functional Programming Category Theory
José Pedro Magalhães

José Pedro Magalhães

Standard Chartered Bank
Dirección de correo verificada de cs.ox.ac.uk
Citado por 983
Programming Languages Functional Programming Generic Programming Haskell
Timothy D. Sears

Timothy D. Sears

Industry
Dirección de correo verificada de timsears.com
Citado por 641
Haskell Machine Learning
Artem Chirkin

Artem Chirkin

ETH Zürich, Chair of Information Architecture
Dirección de correo verificada de arch.ethz.ch
Citado por 510
Statistics Machine Learning Optimization Haskell GPU
Ivan Perez

Ivan Perez

Principal Research Scientist, KBR/NASA ARC. Ex: NASA LaRC, IMDEA, Keera Studios …
Dirección de correo verificada de nasa.gov
Citado por 431
Functional Reactive Programming Haskell Functional Programming Aerospace Game Programming
Alejandro Serrano Mena

Alejandro Serrano Mena

JetBrains
Dirección de correo verificada de jetbrains.com
Citado por 369
Kotlin Haskell Type Theory Generic Programing
Lars Brünjes

Lars Brünjes

Director of Education, IOHK
Dirección de correo verificada de iohk.io
Citado por 176
blockchain Haskell
Samuel Gélineau

Samuel Gélineau

Independent
Citado por 138
Haskell Programming Languages Type Theory
Edward Allan Kmett

Edward Allan Kmett

Positron AI
Dirección de correo verificada de groq.com
Citado por 108
Haskell category theory AI and safety
Sean Leather

Sean Leather

PhD Student, Computer Science, Utrecht University
Dirección de correo verificada de uu.nl
Citado por 91
Type Systems Generic Programming Program Transformation Haskell Functional Programming
1 - 10