[dmlorenzetti]

An interesting aspect of this is the "dogfooding" that seems to take place under Mathematica's covers. The internals use many of the same representation and communication techniques as are exposed to users.