×

Haskell

swMATH ID: 3521
Software Authors:
Description: Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry.
Homepage: https://www.haskell.org/
Related Software: Coq; ML; GHC; Isabelle/HOL; QuickCheck; Maude; OCaml; Agda; AProVE; Miranda; CLEAN; Eden; Isabelle; HOL; Polyp; GitHub; Tyrolean; Curry; OBJ3; Eiffel
Referenced in: 802 Publications
all top 5

Referenced by 1,094 Authors

36 Peyton Jones, Simon L.
18 Hinze, Ralf
16 Jeuring, Johan
15 Weirich, Stephanie
13 Schmidt-Schauß, Manfred
12 Lucas, Salvador
12 Meseguer Guaita, José
11 Gibbons, Jeremy
10 Fischer, Sebastian
10 Hutton, Graham
10 Löh, Andres
10 Sabel, David
10 Schrijvers, Tom
10 Vytiniotis, Dimitrios
9 Chakravarty, Manuel M. T.
9 Schröder, Lutz
8 Goncharov, Sergeĭ Savost’yanovich
8 Keller, Gabriele Cornelia
7 Hanus, Michael
7 Lämmel, Ralf
7 Marlow, Simon
7 Peña, Ricardo
7 Sulzmann, Martin
7 Swierstra, Wouter
7 Thiemann, René
7 Voigtlander, Janis
6 Chitil, Olaf
6 Claessen, Koen
6 Eisenberg, Richard A.
6 Giesl, Jürgen
6 Hu, Zhenjiang
6 Huch, Frank
6 Jansson, Patrik
6 Kahl, Wolfram
6 McBride, Conor Thomas
6 Rubio, Fernando
6 Sabry, Amr
6 Swierstra, S. Doaitse
6 Tarau, Paul
6 Trinder, Phil W.
6 van Eijck, Jan
5 Altenkirch, Thorsten
5 Berghammer, Rudolf
5 Dreyer, Derek R.
5 Jones, Mark P.
5 Loogen, Rita
5 Mossakowski, Till
5 Nipkow, Tobias
5 Oliveira, Bruno C.d. S.
5 Plotkin, Gordon D.
5 Runciman, Colin
5 Schneider-Kamp, Peter
5 Thiemann, Peter J.
4 Antoy, Sergio
4 Ariola, Zena M.
4 Brady, Edwin C.
4 Endrullis, Jörg
4 Escobar, Santiago
4 Fuhs, Carsten
4 Ghani, Neil
4 Harrison, William L.
4 Heeren, Bastiaan
4 Jaskelioff, Mauro
4 Johann, Patricia
4 Kiselyov, Oleg
4 Magalhães, José Pedro
4 Newton, Ryan R.
4 Nilsson, Henrik
4 Oliveira, José Nuno
4 Ortega-Mallén, Yolanda
4 Ranta, Aarne
4 Roşu, Grigore
4 Setzer, Anton
4 Sternagel, Christian
4 Takeichi, Masato
4 Thompson, Simon J.
4 Uustalu, Tarmo
4 Vidal, Germán
4 Wildon, Mark J.
4 Wu, Nicolas
3 Abel, Andreas M.
3 Achten, Peter
3 Albert, Elvira
3 Alpuente, María
3 Badouel, Eric
3 Bendkowski, Maciej
3 Benton, Nick
3 Berger, Ulrich
3 Bird, Richard S.
3 Birkedal, Lars
3 Bove, Ana
3 Butterfield, Andrew
3 Chin, Wei-Ngan
3 Christiansen, Jan
3 Danilenko, Nikita
3 de la Encina, Alberto
3 Dijkstra, Atze
3 Duggan, Dominic
3 Dybjer, Peter
3 Falaschi, Moreno
...and 994 more Authors
all top 5

Referenced in 96 Serials

101 Journal of Functional Programming
38 Theoretical Computer Science
24 Higher-Order and Symbolic Computation
17 Formal Aspects of Computing
16 Science of Computer Programming
13 MSCS. Mathematical Structures in Computer Science
13 Logical Methods in Computer Science
12 Information and Computation
9 Journal of Logical and Algebraic Methods in Programming
6 Information Processing Letters
6 Journal of Automated Reasoning
5 Acta Informatica
5 Journal of Symbolic Computation
5 RAIRO. Theoretical Informatics and Applications
5 The Journal of Logic and Algebraic Programming
5 Lecture Notes in Computer Science
4 Annals of Pure and Applied Logic
4 Theory and Practice of Logic Programming
4 Computer Languages, Systems & Structures
4 Electronic Notes in Theoretical Computer Science
3 Information Sciences
3 Programming and Computer Software
3 International Journal of Parallel Programming
3 Journal of Logic and Computation
3 Fundamenta Informaticae
2 Applied Mathematics and Computation
2 Software. Practice & Experience
2 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
2 Journal of Computer Science and Technology
2 New Generation Computing
2 Applicable Algebra in Engineering, Communication and Computing
2 Formal Methods in System Design
2 Logic Journal of the IGPL
2
2 Texts in Computing
2 Algorithms
2 Scientific Studies and Research. Series Mathematics and Informatics
1 American Mathematical Monthly
1 Computers & Mathematics with Applications
1 Computer Physics Communications
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV)
1 ACM Transactions on Database Systems
1 Bulletin of the Polish Academy of Sciences. Technical Sciences
1 Acta Cybernetica
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Journal of Computer and System Sciences
1 Journal of the London Mathematical Society. Second Series
1 Journal of Mathematical Psychology
1 Mathematics and Computers in Simulation
1 Synthese
1 Parallel Computing
1 Discrete & Computational Geometry
1 International Journal of Approximate Reasoning
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
1 The Journal of Supercomputing
1 International Journal of Computer Mathematics
1 Experimental Mathematics
1 Turkish Journal of Mathematics
1 The Electronic Journal of Combinatorics
1 The Bulletin of Symbolic Logic
1 Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Informatică
1 Annals of Mathematics and Artificial Intelligence
1 ACM Transactions on Modeling and Computer Simulation
1 Constraints
1 Informatica (Ljubljana)
1 Theory of Computing Systems
1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
1 Novi Sad Journal of Mathematics
1 Studii și Cercetări Științifice. Seria: Matematică
1 Annals of Combinatorics
1 Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs’kyĭ Universytet Imeni Tarasa Shevchenka
1 LMS Journal of Computation and Mathematics
1 Lobachevskii Journal of Mathematics
1 Journal of Universal Computer Science
1 Computing and Informatics
1 Sādhanā
1 ACM Transactions on Computational Logic
1 Journal of Discrete Algorithms
1 Journal of Applied Logic
1 International Journal of Mathematics and Computer Science
1 Cambridge Computer Science Texts
1 Mathematics in Computer Science
1 Nonlinear Analysis. Hybrid Systems
1 Scientific Annals of Computer Science
1 Vestnik Sankt-Peterburgskogo Universiteta. Seriya 10. Prikladnana Matematika, Informatika, Protsessy Upravleniya
1 Acta Universitatis Sapientiae. Informatica
1 Journal of Formalized Reasoning
1 Journal of Math-for-Industry
1 Cahiers de Logique et d’Épistémologie
1 ISRN Algebra
1 Computability
1 Computer Science Review
1 DISKI. Dissertationen zur Künstlichen Intelligenz
1 Algebraic Combinatorics

Referencing Publications by Year