Haskell
An advanced purely-functional programming language
Why GitHub used Haskell for Semantic
2019-06-05
Writing a formally-verified image browser in Coq and Haskell (2017)
2019-06-05
Semantics by GitHub on “Why Haskell”
2019-06-04
Learn Haskell with Type Classes
2019-06-03
GitHub uses Haskell for code analysis
2019-06-03
A Role for Dependent Types in Haskell (Extended Version)
2019-06-03
Why Haskell for Semantic?
2019-06-03
Haskell for Readers
2019-06-02
Cheap artificial muscles for robotics: HASEL
2019-06-02
Haskell-DBFunctor: Functional Data Management (Type Safe ETL / ELT in Haskell)
2019-05-30
