Encode applications and abstractions