Safe Functional Reactive Programming through Dependent Types

by Neil Sculthorpe , Henrik Nilsson
Citations:10 - 0 self