Hasochism: the pleasure and pain of dependently typed haskell programming.
Sam LindleyConor McBridePublished in: Haskell (2013)
Keyphrases
- programming language
- lambda calculus
- functional programming
- functional language
- high level
- programming environment
- general purpose
- higher order
- computer science education
- software engineering
- object oriented programming
- high level language
- object oriented
- case study
- neural network
- clinical data
- programming concepts
- social networks
- data sets