Syntactic Control of Interference Revisited

In Syntactic Control of Interference (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algol-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as pcf) and simple imperative languages (such as the language of while programs). However, Reynolds points out that the obvious syntax for interference control has the unfortunate property that fi-reductions do not always preserve typings. Reynolds has subsequently presented a solution to this problem (ICALP, 1989), but it is fairly complicated and requires intersection types in the type system. Here, we present a much simpler solution which does not require intersection types. We first describe a new type system inspired in part by linear logic and verify that reductions preserve typings. We then define a class of bireflective models, which provide a categorical analysis of structure underlying the new typing rules; a companion paper Bireflectivity, in this volume, exposes wider ramifications of this structure. Finally, we describe a concrete model for an illustrative programming language based on the new type system; this improves on earlier such efforts in that states are not assumed to be structured using locations

Decline and fall:a biological, developmental, and psycholinguistic account of deliberative language processes and ageing

Background: This paper reviews the role of deliberative processes in language: those language processes that require central resources, in contrast to the automatic processes of lexicalisation, word retrieval, and parsing. 10 Aims: We describe types of deliberative processing, and show how these processes underpin high-level processes that feature strongly in language. We focus on metalin- guistic processing, strategic processing, inhibition, and planning. We relate them to frontal-lobe function and the development of the fronto-striate loop. We then focus on the role of deliberative processes in normal and pathological development and ageing, 15 and show how these processes are particularly susceptible to deterioration with age. In particular, many of the commonly observed language impairments encountered in ageing result from a decline in deliberative processing skills rather than in automatic language processes. Main Contribution: We argue that central processing plays a larger and more important 20 role in language processing and acquisition than is often credited. Conclusions: Deliberative language processes permeate language use across the lifespan. They are particularly prone to age-related loss. We conclude by discussing implications for therapy

A Graph Model for Imperative Computation

Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via their graphs. A graph is a relation mapping finite sets of input values to output values. We consider a similar model based on relations whose input values are finite sequences rather than sets. This alteration means that we are taking into account the order in which observations are made. This new notion of graph gives rise to a model of affine lambda-calculus that admits an interpretation of imperative constructs including variable assignment, dereferencing and allocation. Extending this untyped model, we construct a category that provides a model of typed higher-order imperative computation with an affine type system. An appropriate language of this kind is Reynolds's Syntactic Control of Interference. Our model turns out to be fully abstract for this language. At a concrete level, it is the same as Reddy's object spaces model, which was the first "state-free" model of a higher-order imperative programming language and an important precursor of games models. The graph model can therefore be seen as a universal domain for Reddy's model

Are language production problems apparent in adults who no longer meet diagnostic criteria for attention-deficit/hyperactivity disorder?

In this study, we examined sentence production in a sample of adults (N = 21) who had had attention-deficit/hyperactivity disorder (ADHD) as children, but as adults no longer met DSM-IV diagnostic criteria (APA, 2000). This “remitted” group was assessed on a sentence production task. On each trial, participants saw two objects and a verb. Their task was to construct a sentence using the objects as arguments of the verb. Results showed more ungrammatical and disfluent utterances with one particular type of verb (i.e., participle). In a second set of analyses, we compared the remitted group to both control participants and a “persistent” group, who had ADHD as children and as adults. Results showed that remitters were more likely to produce ungrammatical utterances and to make repair disfluencies compared to controls, and they patterned more similarly to ADHD participants. Conclusions focus on language output in remitted ADHD, and the role of executive functions in language production

More is more in language learning:reconsidering the less-is-more hypothesis

The Less-is-More hypothesis was proposed to explain age-of-acquisition effects in first language (L1) acquisition and second language (L2) attainment. We scrutinize different renditions of the hypothesis by examining how learning outcomes are affected by (1) limited cognitive capacity, (2) reduced interference resulting from less prior knowledge, and (3) simplified language input. While there is little-to-no evidence of benefits of limited cognitive capacity, there is ample support for a More-is-More account linking enhanced capacity with better L1- and L2-learning outcomes, and reduced capacity with childhood language disorders. Instead, reduced prior knowledge (relative to adults) may afford children with greater flexibility in inductive inference; this contradicts the idea that children benefit from a more constrained hypothesis space. Finally, studies of childdirected speech (CDS) confirm benefits from less complex input at early stages, but also emphasize how greater lexical and syntactic complexity of the input confers benefits in L1-attainment

Presenting GECO : an eyetracking corpus of monolingual and bilingual sentence reading

This paper introduces GECO, the Ghent Eye-tracking Corpus, a monolingual and bilingual corpus of eye-tracking data of participants reading a complete novel. English monolinguals and Dutch-English bilinguals read an entire novel, which was presented in paragraphs on the screen. The bilinguals read half of the novel in their first language, and the other half in their second language. In this paper we describe the distributions and descriptive statistics of the most important reading time measures for the two groups of participants. This large eye-tracking corpus is perfectly suited for both exploratory purposes as well as more directed hypothesis testing, and it can guide the formulation of ideas and theories about naturalistic reading processes in a meaningful context. Most importantly, this corpus has the potential to evaluate the generalizability of monolingual and bilingual language theories and models to reading of long texts and narratives

Do Marked Topics Enhance Memory?

We examined the effects of markedness, the deviation from the canonical Subject-Verb-Object structure in English, on the memory of listeners for the topic of the sentence. We used three marked topic constructions: Left-Dislocation, Object-Fronting, and Subject-Marking. Sentences with these structures were inserted as the 6th item in lists of 12 canonical sentences. In all sentences the topic was the name of a man. We measured recall of the critical name. The results revealed that topics of Left-Dislocated sentences were recalled more than topics of the other constructions, with topics of Object-Fronting sentences recalled the least. We briefly discuss how sentence processing procedures might give rise to these effects