Programas por ats-first.sf.net

ATS es un lenguaje de programación con un sistema de tipos muy expresivo arraigado en el marco de trabajo Applied Type System. En ATS, una variedad de paradigmas de programación se soportan de una manera con tipo, incluyendo