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; Miranda; AProVE; CLEAN; HOL; Isabelle; GitHub; Eden; Polyp; Curry; Tyrolean; Erlang; OBJ3 Cited in: 831 Documents Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year Programming in Haskell. 2nd revised and extended edition. Zbl 1344.68001Hutton, Graham 2016 Programming in Haskell. Zbl 1117.68018Hutton, Graham 2007 Special issue: Haskell 98 language and librairies. The revised report. Zbl 1067.68041Peyton Jones, Simon (ed.) 2003 all top 5 Cited by 1,140 Authors 36 Peyton Jones, Simon L. 18 Hinze, Ralf 16 Jeuring, Johan 15 Weirich, Stephanie 14 Schmidt-Schauß, Manfred 12 Lucas, Salvador 12 Meseguer Guaita, José 11 Gibbons, Jeremy 11 Sabel, David 11 Schrijvers, Tom 10 Chakravarty, Manuel M. T. 10 Fischer, Sebastian 10 Hutton, Graham 10 Löh, Andres 10 Vytiniotis, Dimitrios 9 Keller, Gabriele Cornelia 9 Schröder, Lutz 8 Goncharov, Sergeĭ Savost’yanovich 8 Hanus, Michael 8 Sulzmann, Martin 8 Swierstra, Wouter 7 Jansson, Patrik 7 Lämmel, Ralf 7 Marlow, Simon 7 Peña, Ricardo 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 Kahl, Wolfram 6 McBride, Conor Thomas 6 Nipkow, Tobias 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 Escobar, Santiago 5 Jones, Mark P. 5 Loogen, Rita 5 Mossakowski, Till 5 Oliveira, Bruno C.d. S. 5 Plotkin, Gordon D. 5 Runciman, Colin 5 Schneider-Kamp, Peter 5 Thiemann, Peter J. 4 Alpuente, María 4 Antoy, Sergio 4 Ariola, Zena M. 4 Bendkowski, Maciej 4 Brady, Edwin C. 4 Endrullis, Jörg 4 Fuhs, Carsten 4 Ghani, Neil 4 Hamana, Makoto 4 Harrison, William L. 4 Heeren, Bastiaan 4 Jaskelioff, Mauro 4 Johann, Patricia 4 Kiselyov, Oleg 4 Klop, Jan Willem 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 Badouel, Eric 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 de Vrijer, Roel 3 Dijkstra, Atze ...and 1,040 more Authors all top 5 Cited in 97 Serials 104 Journal of Functional Programming 39 Theoretical Computer Science 24 Higher-Order and Symbolic Computation 17 Formal Aspects of Computing 17 Logical Methods in Computer Science 16 Science of Computer Programming 14 MSCS. Mathematical Structures in Computer Science 12 Information and Computation 11 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 Theory and Practice of Logic Programming 5 Lecture Notes in Computer Science 4 Annals of Pure and Applied Logic 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 3 Texts in Computing 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 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 Combinatorics, Probability and Computing 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 all top 5 Cited in 32 Fields 799 Computer science (68-XX) 121 Mathematical logic and foundations (03-XX) 31 Category theory; homological algebra (18-XX) 22 General and overarching topics; collections (00-XX) 17 Combinatorics (05-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Biology and other natural sciences (92-XX) 9 Quantum theory (81-XX) 8 Information and communication theory, circuits (94-XX) 7 Numerical analysis (65-XX) 7 Operations research, mathematical programming (90-XX) 7 Mathematics education (97-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 General algebraic systems (08-XX) 6 Number theory (11-XX) 4 Statistics (62-XX) 3 Group theory and generalizations (20-XX) 3 Algebraic topology (55-XX) 3 Systems theory; control (93-XX) 2 History and biography (01-XX) 2 Topological groups, Lie groups (22-XX) 2 Measure and integration (28-XX) 2 Convex and discrete geometry (52-XX) 2 Manifolds and cell complexes (57-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) Citations by Year