Rast: A Language for Resource-Aware Session Types.

Ankush Das Frank Pfenning

Published in: CoRR (2020)

Keyphrases

natural language
programming language
language learning
multiscale
decision trees
case study
real time
real world
data mining
artificial intelligence
search engine
social networks
specification language