Αποστολή με SMS: Foundations for Programming Languages