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

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

1 2 3 ... 19 20 21 next

  1. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  2. Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy: Friends with benefits. Implementing corecursion in foundational proof assistants (2017)
  3. Gerdes, Alex; Heeren, Bastiaan; Jeuring, Johan; van Binsbergen, L. Thomas: Ask-elle: an adaptable programming tutor for Haskell giving automated feedback (2017) MathEduc
  4. Lucas, Salvador; Meseguer, José: Dependency pairs for proving termination properties of conditional term rewriting systems (2017)
  5. Meseguer, José; Skeirik, Stephen: Equational formulas and pattern operations in initial order-sorted algebras (2017)
  6. Padovani, Luca: Context-free session type inference (2017)
  7. Bekki, Daisuke; Kawazoe, Ai: Implementing variable vectors in a CCG parser (2016)
  8. Christiansen, David; Brady, Edwin: Elaborator reflection: extending Idris in Idris (2016)
  9. Christiansen, Jan; Danilenko, Nikita; Dylus, Sandra: All sorts of permutations (functional pearl) (2016)
  10. Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon: Sequent calculus as a compiler intermediate language (2016)
  11. Grzanek, Konrad: Forward chaining with state monad (2016) ioport
  12. Hutton, Graham: Programming in Haskell (2016)
  13. Kapfer, Simon: Computing cup products in integral cohomology of Hilbert schemes of points on $K3$ surfaces (2016)
  14. 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)
  15. Mu, Shin-Cheng; Chiang, Yu-Hsi; Lyu, Yu-Han: Queueing and glueing for optimal partitioning (functional pearl) (2016)
  16. Oliveira, Bruno C.d.S.; Shi, Zhiyuan; Alpuim, João: Disjoint intersection types (2016)
  17. Oliveira, José Nuno; Miraldo, Victor Cacciari: “Keep definition, change category” -- a practical approach to state-based system calculi (2016)
  18. Piróg, Maciej; Wu, Nicolas: String diagrams for free monads (functional pearl) (2016)
  19. Wellin, Paul: Essentials of programming in Mathematica (2016)
  20. Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita: Notions of bidirectional computation and entangled state monads (2015)

1 2 3 ... 19 20 21 next