458 search results - page 6 / 92 » A Dependently Typed Assembly Language |
137
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
135
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
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...
244
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
142
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...