18429 search results - page 132 / 3686 » Typing dynamic typing |
128
Voted
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
142
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
121
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...