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

Documents Related by Co-Citation

151 The view from the left – Conor McBride, James McKinna
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
118 Hybrid type checking – C Flanagan - 2006
4 DML code examples. http://www.cs.bu.edu/fac/hwxi/DML – H Xi
32 Liquid types – Patrick M. Rondon, Ming W. Kawaguchi, Ranjit Jhala - 2008
30 A Unified System of Type Refinements – Joshua Dunfield, Jonathan Aldrich, Robert Harper - 2007
419 Z3: An Efficient SMT Solver – Leonardo De Moura, Nikolaj Bjørner - 2008
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
67 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
14 A Hoare Logic for Call-by-Value Functional Programs – Yann Régis-gianas, François Pottier
15 Epigram reloaded: A standalone typechecker for ETT – James Chapman, Thorsten Altenkirch, Conor McBride - 2006
37 Inductive families need not store their indices – Edwin Brady, Conor Mcbride, James Mckinna - 2004
22 Putting Curry-Howard to work – Tim Sheard - 2005
172 Refinement types for ML – Tim Freeman - 1994
702 Types and programming languages – Benjamin C Pierce - 2002
9 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
45 Rippling: meta-level guidance for mathematical reasoning – Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland - 2005
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000