230 search results - page 1 / 46 » Automation for Dependently Typed Functional Programming |
FUIN
2010
13 years 1 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
