Dependent Types for Multi-Rate Flows in Synchronous Programming.

Dependent Types for Multi-Rate Flows in Synchronous Programming.

William Blair, Hongwei Xi

01 March 2015

Venue : ML Family/OCaml

External Link: https://doi.org/10.4204/EPTCS.241.3

Resources For

Partners

Emerging Technology

What’s New

Contact Us