Enviar por SMS: Type-based approach to multi-core programming