Formalism in programming languages — últimas noticias, debate y datos — IJR.com — Noticias impulsadas por personas