This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Ats2-lang  + (ATS2 a.k.a. ATS/Postiats is a programming … ATS2 a.k.a. ATS/Postiats is a programming language with a highly</br>expressive type system rooted in the framework Applied Type</br>System. In particular, both dependent types and linear types are</br>available in ATS. The current implementation of ATS</br>(ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can</br>be as efficient as C/C++ and supports a variety of programming</br>paradigms.</br></br>In addition, ATS contains a component ATS/LF that supports a form</br>of (interactive) theorem proving, where proofs are constructed as</br>total functions. With this component, ATS advocates a programming</br>style that combines programming with theorem proving.</br>Furthermore, this component may be used as a logical framework to</br>encode various deduction systems and their (meta-)properties.</br></br>This package contains the compiler patsopt and the frontend</br>patscc. compiler patsopt and the frontend patscc.)

• Ats2-lang  +