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

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

1 2 3 ... 42 43 44 next

  1. Kahrs, Stefan; Runciman, Colin: Simplifying regular expressions further (2022)
  2. Andersen, Kristoffer Just Arndal; Sergey, Ilya: Protocol combinators for modeling, testing, and execution of distributed systems (2021)
  3. Christensen, Michael; McMahan, Joseph; Nichols, Lawton; Roesch, Jared; Sherwood, Timothy; Hardekopf, Ben: Safe functional systems through integrity types and verified assembly (2021)
  4. Gibbons, Jeremy; McIver, Annabelle; Morgan, Carroll; Schrijvers, Tom: Quantitative information flow with monads in Haskell (2021)
  5. Konečný, Michal; Neumann, Eike: Representations and evaluation strategies for feasibly approximable functions (2021)
  6. Kozyrev, S. V.: Is genome written in Haskell? (2021)
  7. Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume: Modular verification of programs with effects and effects handlers (2021)
  8. Lucas, Salvador: Applications and extensions of context-sensitive rewriting (2021)
  9. Maršík, Jirka; Amblard, Maxime; de Groote, Philippe: Introducing (\llparenthesis\lambda\rrparenthesis), a (\lambda)-calculus for effectful computation (2021)
  10. Paget, Rowena; Wildon, Mark: Plethysms of symmetric functions and representations of (\mathrmSL_2(\mathbfC)) (2021)
  11. Albert, Elvira; Bezirgiannis, Nikolaos; De Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell (2020)
  12. Bird, Richard; Gibbons, Jeremy: Algorithm design with Haskell (2020)
  13. Carette, Jacques; Farmer, William M.; Sharoda, Yasmine: Leveraging the information contained in theory presentations (2020)
  14. Ceresa, Martín; Gorostiaga, Felipe; Sánchez, César: Declarative stream runtime verification (hLola) (2020)
  15. Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig: Doo bee doo bee doo (2020)
  16. Dylus, Sandra; Christiansen, Jan; Teegen, Finn: Implementing a library for probabilistic programming using non-strict non-determinism (2020)
  17. Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir: Leveraging compiler intermediate representation for multi- and cross-language verification (2020)
  18. Goncharov, Sergey; Neves, Renato; Proença, José: Implementing hybrid semantics: from functional to imperative (2020)
  19. Kaposi, Ambrus; Kovács, András: Signatures and induction principles for higher inductive-inductive types (2020)
  20. Kaufmann, Matt; Moore, J Strother: Limited second-order functionality in a first-order setting (2020)

1 2 3 ... 42 43 44 next