18429 search results - page 99 / 3686 » Typing dynamic typing |
119
click to vote
LREC
2008
15 years 6 months ago
2008
This paper describes the creation of a state-of-the-art answer type detection system capable of recognizing more than 200 different expected answer types with greater than 85% pre...
112
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of
249
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
229
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...