2944 search results - page 64 / 589 » On Well Quasi-orders on Languages |
CICLING
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Child language acquisition, one of Nature’s most fascinating phenomena, is to a large extent still a puzzle. Experimental evidence seems to support the view that early ...
99
Voted
TCS
2002
15 years 13 days ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
115
Voted
GRAMMARS
1998
15 years 14 days ago
1998
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...
187
Voted
POPL
2006
ACM
16 years 1 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-...
93
Voted
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...