Haskell

Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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

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

1 2 3 ... 18 19 20 next

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

1 2 3 ... 18 19 20 next