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

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

1 2 3 ... 41 42 43 next

  1. Christensen, Michael; McMahan, Joseph; Nichols, Lawton; Roesch, Jared; Sherwood, Timothy; Hardekopf, Ben: Safe functional systems through integrity types and verified assembly (2021)
  2. Gibbons, Jeremy; McIver, Annabelle; Morgan, Carroll; Schrijvers, Tom: Quantitative information flow with monads in Haskell (2021)
  3. Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume: Modular verification of programs with effects and effects handlers (2021)
  4. Paget, Rowena; Wildon, Mark: Plethysms of symmetric functions and representations of (\textSL_2(\mathbfC)) (2021)
  5. Bird, Richard; Gibbons, Jeremy: Algorithm design with Haskell (2020)
  6. Carette, Jacques; Farmer, William M.; Sharoda, Yasmine: Leveraging the information contained in theory presentations (2020)
  7. Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig: Doo bee doo bee doo (2020)
  8. Dylus, Sandra; Christiansen, Jan; Teegen, Finn: Implementing a library for probabilistic programming using non-strict non-determinism (2020)
  9. Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir: Leveraging compiler intermediate representation for multi- and cross-language verification (2020)
  10. Kaposi, Ambrus; Kovács, András: Signatures and induction principles for higher inductive-inductive types (2020)
  11. Kaufmann, Matt; Moore, J. Strother: Limited second-order functionality in a first-order setting (2020)
  12. Kutz, Yunus; Schmidt-Schauß, Manfred: Rewriting with generalized nominal unification (2020)
  13. Lukšič, Žiga; Pretnar, Matija: Local algebraic effect theories (2020)
  14. Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon: Practical synthesis of reactive systems from LTL specifications via parity games (2020)
  15. Manzino, Cecilia; Pardo, Alberto: Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (2020)
  16. Meshveliani, S. D.: On a machine-checked proof for fraction arithmetic over a GCD domain (2020)
  17. Miranda-Perea, Favio E.; González Huesca, Lourdes del Carmen; Linares-Arévalo, P. Selene: Interactive proof-search for equational reasoning (2020)
  18. Perez, Ivan; Goodloe, Alwyn E.: Fault-tolerant functional reactive programming (extended version) (2020)
  19. Wildon, Mark: Permutation groups containing a regular abelian subgroup: the tangled history of two mistakes of Burnside (2020)
  20. Bendkowski, Maciej; Bodini, Olivier; Dovgal, Sergey: Statistical properties of lambda terms (2019)

1 2 3 ... 41 42 43 next