Type theory and real-time systems (any pointers?)

Article View: comp.lang.functional

Article #441

Back to comp.lang.functional Previous Next

#441

From: Frank Pohl
Date: Sun, 19 Aug 1990 01:11

2 lines
484 bytes

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

Technical Details

Message-ID: <15334@unix.SRI.COM>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!unix!thomson

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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