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

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

1 2 3 ... 40 41 42 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. Lukšič, Žiga; Pretnar, Matija: Local algebraic effect theories (2020)
  8. Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon: Practical synthesis of reactive systems from LTL specifications via parity games (2020)
  9. Perez, Ivan; Goodloe, Alwyn E.: Fault-tolerant functional reactive programming (extended version) (2020)
  10. Wildon, Mark: Permutation groups containing a regular abelian subgroup: the tangled history of two mistakes of Burnside (2020)
  11. Bendkowski, Maciej; Bodini, Olivier; Dovgal, Sergey: Statistical properties of lambda terms (2019)
  12. Bendkowski, Maciej; Lescanne, Pierre: On the enumeration of closures and environments with an application to random generation (2019)
  13. Ciobanu, Gabriel; Todoran, Eneia Nicolae: A semantic investigation of spiking neural P systems (2019)
  14. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
  15. Ghica, Dan R.; Alyahya, Khulood: Latent semantic analysis of game models using LSTM (2019)
  16. Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
  17. Lochbihler, Andreas: Effect polymorphism in higher-order logic (proof pearl) (2019)
  18. McIver, A. K.; Morgan, C. C.; Rabehaja, T.: Program algebra for quantitative information flow (2019)
  19. Odabaş, Alper; Soylu Yilmaz, Elis: Relationships between category theory and functional programming with an application (2019)
  20. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)

1 2 3 ... 40 41 42 next