18429 search results - page 167 / 3686 » Typing dynamic typing |
134
Voted
FPCA
1995
15 years 8 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
158
click to vote
COLING
2008
15 years 6 months ago
2008
Many reordering approaches have been proposed for the statistical machine translation (SMT) system. However, the information about the type of source sentence is ignored in the pr...
140
click to vote
ACL
2004
15 years 6 months ago
2004
This paper introduces an indexing method based on static analysis of grammar rules and type signatures for typed feature structure grammars (TFSGs). The static analysis tries to p...
132
Voted
FORTE
1989
15 years 6 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
125
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Coalitions and cooperation are key topics in multi