Dependent Types for Multi-Rate Flows in Synchronous Programming.

William Blair Hongwei Xi

Published in: ML Family/OCaml (2015)

Keyphrases

asynchronous communication
programming language
data mining
artificial intelligence
general purpose
source code
database applications
programming course
high level language