18429 search results - page 364 / 3686 » Typing dynamic typing |
189
click to vote
ENTCS
2008
15 years 6 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
156
Voted
ESWA
2008
15 years 6 months ago
2008
In this paper, a Takagi