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

More stories

More stories load automatically as you scroll.