共 50 条
- [45] Stability,variation and change in word order - Some evidence from the romance languages STABILITY, VARIATION AND CHANGE OF WORD-ORDER PATTERNS OVER TIME, 2000, 213 : 101 - 115
- [46] PLURALITY OF LANGUAGES, DATA AND METHODS FOR A GENERAL MODEL OF MELODIC VARIATION IN ROMANCE DIALECTS DIALECTOLOGIA, 2016, : 29 - 55
- [48] Existential types for imperative languages PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2002, 2305 : 21 - 35
- [50] Proof abstraction for imperative languages Programming Languages and Systems, Proceedings, 2006, 4279 : 97 - 113