Linear Haskell: practical linearity in a higher-order polymorphic language.
Jean-Philippe BernardyMathieu BoespflugRyan R. NewtonSimon Peyton JonesArnaud SpiwackPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- higher order
- programming language
- lambda calculus
- lower order
- low order
- natural images
- real world
- functional language
- functional programming
- pairwise
- language learning
- closed form
- natural language
- general purpose
- databases
- object oriented
- high order
- specification language
- object oriented languages
- type checking
- markov models
- multiscale
- information extraction
- practical application
- markov random field
- software engineering