technical.cx Topics

Lobsters

ATS-PL-SYS

ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both...

Programming

Programming