We review the basics of functional programming, and give a brief introduction to emerging techniques and approaches relevant
to buildingreal-time software. In doingso we attempt to explain the relevance of functional programming concepts to the real-time
applications domain. In particular, we address the use of types to classify properties of real-time computations.
Funded by DARPA F33615-99-C-3013 and NSF CCR-9900957.