Haskell
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.
Keywords for this software
References in zbMATH (referenced in 844 articles , 3 standard articles )
Showing results 1 to 20 of 844.
Sorted by year (- Bird, Richard; Gibbons, Jeremy: Algorithm design with Haskell (2020)
- Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig: Doo bee doo bee doo (2020)
- Dylus, Sandra; Christiansen, Jan; Teegen, Finn: Implementing a library for probabilistic programming using non-strict non-determinism (2020)
- Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir: Leveraging compiler intermediate representation for multi- and cross-language verification (2020)
- Kaposi, Ambrus; Kovács, András: Signatures and induction principles for higher inductive-inductive types (2020)
- Kaufmann, Matt; Moore, J. Strother: Limited second-order functionality in a first-order setting (2020)
- Kutz, Yunus; Schmidt-Schauß, Manfred: Rewriting with generalized nominal unification (2020)
- Lukšič, Žiga; Pretnar, Matija: Local algebraic effect theories (2020)
- Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon: Practical synthesis of reactive systems from LTL specifications via parity games (2020)
- Miranda-Perea, Favio E.; González Huesca, Lourdes del Carmen; Linares-Arévalo, P. Selene: Interactive proof-search for equational reasoning (2020)
- Perez, Ivan; Goodloe, Alwyn E.: Fault-tolerant functional reactive programming (extended version) (2020)
- Wildon, Mark: Permutation groups containing a regular abelian subgroup: the tangled history of two mistakes of Burnside (2020)
- Bendkowski, Maciej; Bodini, Olivier; Dovgal, Sergey: Statistical properties of lambda terms (2019)
- Bendkowski, Maciej; Lescanne, Pierre: On the enumeration of closures and environments with an application to random generation (2019)
- Ciobanu, Gabriel; Todoran, Eneia Nicolae: A semantic investigation of spiking neural P systems (2019)
- Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
- Ghica, Dan R.; Alyahya, Khulood: Latent semantic analysis of game models using LSTM (2019)
- Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
- Lochbihler, Andreas: Effect polymorphism in higher-order logic (proof pearl) (2019)
- McIver, A. K.; Morgan, C. C.; Rabehaja, T.: Program algebra for quantitative information flow (2019)