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

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

1 2 3 ... 17 18 19 next

  1. Gerdes, Alex; Heeren, Bastiaan; Jeuring, Johan; van Binsbergen, L. Thomas: Ask-elle: an adaptable programming tutor for Haskell giving automated feedback (2017) MathEduc
  2. Lucas, Salvador; Meseguer, José: Dependency pairs for proving termination properties of conditional term rewriting systems (2017)
  3. Bekki, Daisuke; Kawazoe, Ai: Implementing variable vectors in a CCG parser (2016)
  4. Grzanek, Konrad: Forward chaining with state monad (2016)
  5. Hutton, Graham: Programming in Haskell (2016)
  6. Kapfer, Simon: Computing cup products in integral cohomology of Hilbert schemes of points on $K3$ surfaces (2016)
  7. 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)
  8. Oliveira, José Nuno; Miraldo, Victor Cacciari: “Keep definition, change category” -- a practical approach to state-based system calculi (2016)
  9. Wellin, Paul: Essentials of programming in Mathematica (2016)
  10. Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita: Notions of bidirectional computation and entangled state monads (2015)
  11. Akkoorath, Deepthi Devaki; Bieniusa, Annette: Transactions on mergeable objects (2015)
  12. Berghammer, Rudolf; Fischer, Sebastian: Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (2015)
  13. Clairambault, Pierre; Dybjer, Peter: Game semantics and normalization by evaluation (2015)
  14. Danilenko, Nikita: Functional Kleene closures (2015)
  15. Danilenko, Nikita: Graph problems and vector-matrix multiplications in Haskell (2015)
  16. Hernández, Noé; Eder, Kerstin; Magid, Evgeni; Savage, Jesús; Rosenblueth, David A.: Marimba: a tool for verifying properties of hidden Markov models (2015)
  17. Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy: Conjugate hylomorphisms -- or: the mother of all structured recursion schemes (2015)
  18. Kuper, Jan: Hardware specification with C$\lambda$aSH (2015)
  19. Miyamoto, Kenji; Schwichtenberg, Helmut: Program extraction in exact real arithmetic (2015)
  20. Roşu, Grigore: From rewriting logic, to programming language semantics, to program verification (2015)

1 2 3 ... 17 18 19 next