ART

A real-time functional language, it timestamps when each data value was created.

"Applicative Real-Time Programming", M. Broy, PROC IFIP 1983, North-Holland.