18429 search results - page 94 / 3686 » Typing dynamic typing |
116
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
131
click to vote
BSL
2002
15 years 4 months ago
2002
Abstract. In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910
118
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
223
click to vote
TPHOL
2009
IEEE
15 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...
157
click to vote
AISC
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...