Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus.
Hongwei XiZhiqiang RenHanwen WuWilliam BlairPublished in: CoRR (2016)
Keyphrases
- lambda calculus
- multi threaded
- programming language
- predicate calculus
- multi core processors
- higher order
- program understanding
- database query languages
- operating system
- social networks
- complex objects
- information flow
- real time
- computer architecture
- multithreading
- multiple types
- artificial intelligence
- machine learning