18429 search results - page 166 / 3686 » Typing dynamic typing |
141
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
147
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
160
click to vote
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...
146
Voted
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
Infection by the human papillomavirus (HPV) is associated with the development of cervical cancer. HPV can be classified to highand low-risk type according to its malignant potenti...
128
click to vote
FP
1995
15 years 8 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...