[comp.lang.functional] Type theory and real-time systems

thomson@unix.SRI.COM (Frank Pohl) (08/19/90)

I'd like to know if type theory has been applied in the study 
of real-time systems.  Thanks for any pointers.