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

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

1 2 3 ... 19 20 21 next

  1. Grzanek, Konrad: Forward chaining with state monad (2016)
  2. Hutton, Graham: Programming in Haskell (2016)
  3. Kapfer, Simon: Computing cup products in integral cohomology of Hilbert schemes of points on $K3$ surfaces (2016)
  4. Konečný, Michal; Taha, Walid; Bartha, Ferenc A.; Duracz, Jan; Duracz, Adam; Ames, Aaron D.: Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (2016)
  5. Oliveira, José Nuno; Miraldo, Victor Cacciari: “Keep definition, change category” -- a practical approach to state-based system calculi (2016)
  6. Wellin, Paul: Essentials of programming in Mathematica (2016)
  7. Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita: Notions of bidirectional computation and entangled state monads (2015)
  8. Akkoorath, Deepthi Devaki; Bieniusa, Annette: Transactions on mergeable objects (2015)
  9. Berghammer, Rudolf; Fischer, Sebastian: Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (2015)
  10. Clairambault, Pierre; Dybjer, Peter: Game semantics and normalization by evaluation (2015)
  11. Danilenko, Nikita: Functional Kleene closures (2015)
  12. Danilenko, Nikita: Graph problems and vector-matrix multiplications in Haskell (2015)
  13. Hernández, Noé; Eder, Kerstin; Magid, Evgeni; Savage, Jesús; Rosenblueth, David A.: Marimba: a tool for verifying properties of hidden Markov models (2015)
  14. Kuper, Jan: Hardware specification with C$\lambda$aSH (2015)
  15. Miyamoto, Kenji; Schwichtenberg, Helmut: Program extraction in exact real arithmetic (2015)
  16. Roşu, Grigore: From rewriting logic, to programming language semantics, to program verification (2015)
  17. Schmidt-Schauß, Manfred; Sabel, David; Niehren, Joachim; Schwinghammer, Jan: Observational program calculi and the correctness of translations (2015)
  18. Vasilescu, Anca: Upon the Haskell support for the web application development (2015)
  19. Amaral, Cláudio; Florido, Mário; Santos Costa, Vítor: Prologcheck -- property-based testing in prolog (2014)
  20. Battenfeld, Ingo: Observationally-induced algebras in domain theory (2014)

1 2 3 ... 19 20 21 next