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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 844 articles , 3 standard articles )

Showing results 1 to 20 of 844.
Sorted by year (citations)

1 2 3 ... 41 42 43 next

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

1 2 3 ... 41 42 43 next