Ats: A language that combines programming with theorem proving (2005)

Cached

Download Links

by Sa Cui , Kevin Donnelly , Hongwei Xi
Venue:of Lecture Notes in Computer Science
Citations:13 - 0 self

Active Bibliography

2 ATS/LF: a type system for constructing proofs as total functional programs – Hongwei Xi - 2004
38 Applied Type System (extended abstract – Hongwei Xi - 2004
7 Facilitating Program Verification with Dependent Types – Hongwei Xi - 2003
2 A Modality for Safe Resource Sharing and Code Reentrancy – Rui Shi, Dengping Zhu, Hongwei Xi
11 Implementing Typeful Program Transformations – Chiyan Chen, Rui Shi, Hongwei Xi
1 Attributive Types for Proof Erasure ⋆ – Hongwei Xi
1 Strong normalization for System F by HOAS on top of FOAS – Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
6 Dependently Typed Programming with Domain-Specific Logics – Daniel R. Licata, Robert Harper - 2008
A Linear Type System for Multicore Programming in ATS ✩ – Rui Shi A, Hongwei Xi B, Google Inc
11 Using Reflection to Explain and Enhance Type Theory – Robert L. Constable - 1994
unknown title – Hongwei Xi
1 Implementing Certified Programming Language Tools Dependent Type Theory – Adam James Chlipala, Adam James Chlipala - 2007
11 Programming With Types – Stephanie Claudene Weirich - 2002
11 P.: Dependent types at work – Ana Bove, Peter Dybjer - 2009
Abstraction-Based Genetic Programming By – Franck J. L. Binard
3 Applied Type System with Stateful Views – Hongwei Xi, Dengping Zhu, Yanka Li - 1998
5 Hybrid Partial-Total Type Theory – Scott Smith - 1995
7 Partial computations in constructive type theory – Scott F. Smith - 1991