Login / Signup
Safe stream-based programming with refinement types.
Benno Stein
Lazaro Clapp
Manu Sridharan
Bor-Yuh Evan Chang
Published in:
ASE (2018)
Keyphrases
</>
data streams
real time
user interface
object oriented programming
data sets
neural network
artificial intelligence
decision making
knowledge base
software development
streaming data
stream data