Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!unix!thomson
From: thomson@unix.SRI.COM (Frank Pohl)
Newsgroups: comp.lang.functional
Subject: Type theory and real-time systems (any pointers?)
Keywords: type theory, real-time systems
Message-ID: <15334@unix.SRI.COM>
Date: 19 Aug 90 01:11:01 GMT
Organization: SRI International, Menlo Park, CA
Lines: 2

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