Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
2,136 authors found
quering by "Haskell"
.
Showing
the first 25
sort by ONE Index.
|
913
One Index
|
Wadler, Philip PhD 0000-0001-7619-6378 |
272 docs (1975 - 2021)
Programming Language Semantics , Haskell , Description Logics , Type Inference , Model Checking |
|
885
One Index
|
Haskell, Brynmor PhD 0000-0002-8255-3519 |
211 docs (2005 - 2024)
Pulsar Timing , LIGO and Virgo , Gravitational Waves , Glitch , Compact Binary Mergers |
|
882
One Index
|
Odersky, Martin PhD 0009-0005-3923-8993 |
207 docs (1987 - 2024)
Scala , Programming Language Semantics , Model Checking , Type Inference , Performance Optimization |
|
881
One Index
|
Zdancewic, Steve PhD 0000-0002-3516-1512 |
171 docs (1999 - 2024)
Programming Language Semantics , Information flow , Security Policies , Memory safety , Type Inference |
|
878
One Index
|
Panichella, Annibale PhD 0000-0002-7395-3588 |
177 docs (2009 - 2024)
Software Defect Prediction , Search-Based Testing , Dynamic Test Generation , Automated Testing , Test Case Prioritization |
|
875
One Index
|
Claessen, Koen PhD 0000-0002-8113-4478 |
152 docs (1997 - 2024)
Haskell , Model Checking , Temporal Logic , Counterexample , Benchmark (surveying) |
|
874
One Index
|
Pierce, Benjamin PhD 0000-0001-7839-1636 |
345 docs (1931 - 2024)
Subtyping , Programming Language Semantics , Type Inference , Model Checking , Soundness |
|
874
One Index
|
Rompf, Tiark PhD 0000-0002-2068-3238 |
138 docs (2009 - 2024)
Scala , Domain-specific language , Performance Optimization , Programming Language Semantics , Parallel Computing |
|
874
One Index
|
Nipkow, Tobias PhD 0000-0003-0730-515X |
282 docs (1986 - 2024)
HOL , Model Checking , Proof assistant , Formal Verification , Unification |
|
868
One Index
|
Lumsdaine, Andrew PhD 0000-0002-9153-6622 |
375 docs (1987 - 2024)
Parallel Computing , Performance Optimization , GPU Computing , Task Scheduling , Implementation |
|
864
One Index
|
Jhala, Ranjit PhD 0000-0002-1802-9421 |
191 docs (2001 - 2024)
Model Checking , Runtime Verification , Predicate abstraction , Type Inference , Predicate (mathematical logic) |
|
862
One Index
|
Tannock, Rosemary PhD |
276 docs (1984 - 2023)
ADHD , Attention-Deficit/Hyperactivity Disorder , Adolescent Brain Development , Transmission disequilibrium test , Developmental Coordination Disorder |
|
860
One Index
|
Paszke, Adam PhD 0000-0002-7665-4559 |
35 docs (2016 - 2024)
Parallel Computing , SPMD , Automatic differentiation , Deep Learning , Programming style |
|
859
One Index
|
Might, Matthew PhD 0000-0002-8430-5316 |
188 docs (2006 - 2024)
Abstract Interpretation , Static Analysis , Control flow , Programming Language Semantics , Source Code Analysis |
|
857
One Index
|
Mazières, David PhD 0000-0002-1253-6449 |
154 docs (1994 - 2024)
Haskell , Control-Flow Integrity , File Systems , Caching , Code (set theory) |
|
854
One Index
|
Visser, Joost PhD 0000-0003-0158-3095 |
297 docs (1969 - 2024)
Software Defect Prediction , Software Reliability Modeling , Source Code Analysis , Software Process Improvement , Software Architecture |
|
853
One Index
|
Cheney, James PhD 0000-0002-1307-9286 |
302 docs (1976 - 2024)
Data Provenance , Query Optimization , Description Logics , Nonmonotonic Reasoning , Continuous Queries |
|
847
One Index
|
Stefan, Deian PhD 0000-0002-7041-7464 |
114 docs (2007 - 2024)
Control-Flow Integrity , Code (set theory) , Haskell , Security Analysis , Information flow |
|
847
One Index
|
Weirich, Stephanie PhD 0000-0002-6756-9168 |
177 docs (1996 - 2024)
Haskell , Type Inference , Model Checking , Programming Language Semantics , Type theory |
|
846
One Index
|
Giesl, Jürgen PhD 0000-0003-0283-8520 |
206 docs (1993 - 2024)
Runtime Verification , Temporal Logic , Constraint Logic Programming , Gas meter prover , Model Checking |
|
846
One Index
|
Haskell, Marie PhD 0000-0001-9373-0624 |
184 docs (1985 - 2024)
Behavioural Assessment , Animal-assisted therapy , Lameness in Animals , Dairy Cattle , Milking |
|
846
One Index
|
Morrisett, John PhD 0000-0002-2619-5614 |
163 docs (1994 - 2023)
Type Inference , Programming Language Semantics , Model Checking , Code (set theory) , Type safety |
|
846
One Index
|
Schneider-Kamp, Peter PhD 0000-0003-4000-5570 |
126 docs (2002 - 2024)
Gas meter prover , Constraint Logic Programming , Sorting network , Temporal Logic , Separation Logic |
|
845
One Index
|
Peyton Jones, Simon PhD 0000-0002-6085-1435 |
478 docs (1965 - 2024)
Haskell , Model Checking , Type Inference , Programmer , Programming Language Semantics |
|
844
One Index
|
Pauwels, Koen PhD 0000-0002-5975-5980 |
210 docs (1978 - 2024)
Price Perception , Sponsorship Effects , Retail Economics , Market Competition , Online Advertising |
