restricted form | Sciweavers

click to vote

JFP
2007

112views more JFP 2007»

Dependent ML An approach to practical programming with dependent types

13 years 11 months ago

Download www.ats-lang.org

We present an approach to enriching the type system of ML with a restricted form of de

Hongwei Xi

claim paper

Read More »

click to vote

FROCOS
2005
Springer

148views Control Systems» more FROCOS 2005»

ATS: A Language That Combines Programming with Theorem Proving

14 years 5 months ago

Download www.cs.bu.edu

ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...

Sa Cui, Kevin Donnelly, Hongwei Xi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers