678 search results - page 7 / 136 » Dependent Types for Program Understanding |
146
Voted
PLPV
2010
ACM
15 years 11 months 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...
117
click to vote
TACAS
2007
Springer
15 years 8 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 ...
96
Voted
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
197
Voted
TPHOL
2009
IEEE
15 years 8 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...