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

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

1 2 3 ... 20 21 22 next

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

1 2 3 ... 20 21 22 next