Linear Haskell: practical linearity in a higher-order polymorphic language.
Jean-Philippe BernardyMathieu BoespflugRyan R. NewtonSimon Peyton JonesArnaud SpiwackPublished in: CoRR (2017)
Keyphrases
- higher order
- programming language
- lambda calculus
- lower order
- low order
- natural images
- functional language
- object oriented languages
- pairwise
- natural language
- high order
- closed form
- language learning
- object oriented programming
- real world
- object oriented
- conditional random fields
- high level
- practical application
- markov models
- machine learning
- functional programming
- neural network
- markov random field
- database
- bayesian networks
- natural language processing
- data model