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