Safe Functional Reactive Programming through Dependent Types

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