18429 search results - page 116 / 3686 » Typing dynamic typing |
138
Voted
CLIMA
2010
15 years 6 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
147
click to vote
FUIN
2008
15 years 4 months ago
2008
We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...
138
click to vote
JAPLL
2008
15 years 4 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
136
click to vote
MSCS
2008
15 years 4 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
160
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...