Safe Functional Reactive Programming through Dependent Types

Name: Safe Functional Reactive Programming through Dependent Types
Uploaded: 2009-09-17T17:47:21-04:00
Duration: 25 min 6 s
Channel: Malcolm Wallace
Description: Safe Functional Reactive Programming through Dependent Types Neil Sculthorpe and Henrik Nilsson; University of Nottingham International Conference on Functional…

Safe Functional Reactive Programming through Dependent Types  Neil Sculthorpe and Henrik Nilsson; University of Nottingham  International Conference on Functional…