Omelett : a language for reactive programming

Licentiate thesis, 1994

code generation

object-oriented

functional

operational semantics

state

imperative

concurrency

graph-reduction

polymorphism

transformational

reactive

abstract machine

lazy evaluation