The Delta programming language