564 search results - page 7 / 113 » Dependent types and program equivalence |
162
click to vote
PLPV
2010
ACM
16 years 22 days ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
132
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
109
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
217
click to vote
TPHOL
2009
IEEE
15 years 10 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...