A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

The importance of direct language instruction for hearing impaired children

This paper discusses the importance of direct and intense language instruction for hearing impaired children in developing language and communication skills. The author presents a variety of activities for teacher use.

The role of transfer in language variation and change: Evidence from contact varieties of French

In this Special Issue, the focus is on contact-induced language variation and change in situations of societal bilingualism that involve long-term contact between French and another language. As is well known, when two or more languages are spoken by groups of speakers in the same geographical area, over time, features from one language can be transferred to the other language, especially when the languages in question are unequal in terms of prestige, institutional support and demographic factors. The process that leads to the adoption of such features in the contact languages is generally known as INTERFERENCE or TRANSFER, and these terms are also used to describe the features in question (i.e. the end product of the process of transfer). In this issue we prefer to use the term TRANSFER over the use of the notion INTERFERENCE, as the former has fewer negative connotations than the latter.

Invisible and visible language planning: ideological factors in the family language policy of Chinese immigrant families in Quebec

This ethnographic inquiry examines how family languages policies are planned and developed in ten Chinese immigrant families in Quebec, Canada, with regard to their children’s language and literacy education in three languages, Chinese, English, and French. The focus is on how multilingualism is perceived and valued, and how these three languages are linked to particular linguistic markets. The parental ideology that underpins the family language policy, the invisible language planning, is the central focus of analysis. The results suggest that family language policies are strongly influenced by socio-political and economical factors. In addition, the study confirms that the parents’ educational background, their immigration experiences and their cultural disposition, in this case pervaded by Confucian thinking, contribute significantly to parental expectations and aspirations and thus to the family language policies.

Exploring writing in products in students with language impairments and autism spectrum disorders

Oral language skills scaffold written text production; students with oral language difficulties often experience writing problems. The current study examines the ways in which oral language problems experienced by students with language impairment (LI) and students with autism spectrum disorders (ASD) impact on their production of written text. One hundred and fifty seven participants (Mage = 10;2) with LI or ASD completed standardized measures of oral language, transcription, working memory, and nonverbal ability and produced a written narrative text assessed for productivity, grammatical accuracy, and quality. Measures of transcription, productivity, and grammatical accuracy, but not text quality, were poorer for students with LI. Transcription skills accounted for the majority of variance in the writing of the LI cohort. For the ASD cohort, handwriting, oral language and autism symptomatology were significant predictors. When students with ASD also experienced language problems, their performance was equivalent to that observed in the LI cohort.

Learning to think in a second language: effects of proficiency and length of exposure in English learners of German

The aim of the current study is to investigate motion event cognition in second language learners in a higher education learning context. Based on recent findings showing that speakers of grammatical aspect languages like English attend less to the endpoint (goal) of events than speakers of non-aspect languages like Swedish in a nonverbal categorization task involving working memory (Athanasopoulos & Bylund, 2013; Bylund & Athanasopoulos, this issue), the current study asks whether native speakers of an aspect language start paying more attention to event endpoints when learning a non-aspect language. Native English and German (a non-aspect language) speakers, and English learners of L2 German, who were pursuing studies in German language and literature at an English university, were asked to match a target scene with intermediate degree of endpoint orientation with two alternate scenes with low and high degree of endpoint orientation, respectively. Results showed that, when compared to the native English speakers, the learners of German were more prone to base their similarity judgements on endpoint saliency, rather than ongoingness, primarily as a function of increasing L2 proficiency and year of university study. Further analyses revealed a non-linear relationship between length of L2 exposure and categorization patterns, subserved by a progressive strengthening of the relationship between L2 proficiency and categorization as length of exposure increased. These findings present evidence that cognitive restructuring may occur through increasing experience with an L2, but also suggest that this relationship may be complex, and unfold over a long period of time.

Towards the computer-aided diagnosis of dementia based on the geometric and network connectivity of structural MRI data

We present an intuitive geometric approach for analysing the structure and fragility of T1-weighted structural MRI scans of human brains. Apart from computing characteristics like the surface area and volume of regions of the brain that consist of highly active voxels, we also employ Network Theory in order to test how close these regions are to breaking apart. This analysis is used in an attempt to automatically classify subjects into three categories: Alzheimer’s disease, mild cognitive impairment and healthy controls, for the CADDementia Challenge.

Language in genetic syndromes and cognitive modularity

In recent years, research into the impact of genetic abnormalities on cognitive development, including language, has become recognized for its potential to make valuable contributions to our understanding of the brain–behaviour relationships underlying language acquisition as well as to understanding the cognitive architecture of the human mind. The publication of Fodor’s ( 1983 ) book The Modularity of Mind has had a profound impact on the study of language and the cognitive architecture of the human mind. Its central claim is that many of the processes involved in comprehension are undertaken by special brain systems termed ‘modules’. This domain specificity of language or modularity has become a fundamental feature that differentiates competing theories and accounts of language acquisition (Fodor 1983 , 1985 ; Levy 1994 ; Karmiloff-Smith 1998 ). However, although the fact that the adult brain is modularized is hardly disputed, there are different views of how brain regions become specialized for specific functions. A question of some interest to theorists is whether the human brain is modularized from the outset (nativist view) or whether these distinct brain regions develop as a result of biological maturation and environmental input (neuroconstructivist view). One source of insight into these issues has been the study of developmental disorders, and in particular genetic syndromes, such as Williams syndrome (WS) and Down syndrome (DS). Because of their uneven profiles characterized by dissociations of different cognitive skills, these syndromes can help us address theoretically significant questions. Investigations into the linguistic and cognitive profiles of individuals with these genetic abnormalities have been used as evidence to advance theoretical views about innate modularity and the cognitive architecture of the human mind. The present chapter will be organized as follows. To begin, two different theoretical proposals in the modularity debate will be presented. Then studies of linguistic abilities in WS and in DS will be reviewed. Here, the emphasis will be mainly on WS due to the fact that theoretical debates have focused primarily on WS, there is a larger body of literature on WS, and DS subjects have typically been used for the purposes of comparison. Finally, the modularity debate will be revisited in light of the literature review of both WS and DS. Conclusions will be drawn regarding the contribution of these two genetic syndromes to the issue of cognitive modularity, and in particular innate modularity.

Multiple schools, languages, experiences and affiliations: ideological becomings and positionings

This article focuses on the identity accounts of a group of Chinese children who attend a heritage language school. Bakhtin’s concepts of ideological becoming, and authoritative and internally persuasive discourse, frame our exploration. Taking a dialogic view of language and learning raises questions about schools as socializing spaces and ideological environments. The children in this inquiry articulate their own ideological patterns of alignment. Those patterns, and the children's code switching, seem mostly determined by their socialization, language affiliations, friendship patterns, family situations, and legal access to particular schools. Five patterns of ideological becoming are presented. The children’s articulated preferences indicate that they assert their own ideological stances towards prevailing authoritative discourses, give voice to their own sense of agency and internally persuasive discourses, and respond to the ideological resources that mediate their linguistic repertoires.

Diversity lessons from Wales: how marketing bilingualism contributes to language shift and language maintenance

Wales is one of the constituent nations of the United Kingdom. While sharing much of its political and social history with England, Scotland, and Northern Ireland, it has retained a distinct cultural identity.In particular, over 560,000 people, a significant minority of the population of 2.2 million, speak Welsh, a member of the Celtic family of languages, and the country is officially bilingual. In this paper, we will look at attempts to maintain and grow the number of speakers of the language and at the relevance of this development for speakers of minority languages in other settings.

Contrastive analysis of keywords in discourses: intégration and integration in French and German discourses about migration

This article suggests a theoretical and methodological framework for a systematic contrastive discourse analysis across languages and discourse communities through keywords, constituting a lexical approach to discourse analysis which is considered to be particularly fruitful for comparative analysis. We use a corpus assisted methodology, presuming meaning to be constituted, revealed and constrained by collocation environment. We compare the use of the keyword intégration and Integration in French and German public discourses about migration on the basis of newspaper corpora built from two French and German newspapers from 1998 to 2011. We look at the frequency of these keywords over the given time span, group collocates into thematic categories and discuss indicators of discursive salience by comparing the development of collocation profiles over time in both corpora as well as the occurrence of neologisms and compounds based on intégration/Integration.

Immigration, security and the public debate on US language policy : a critical discourse analysis of language attitudes in the United States of America

The narrative of the United States is of a "nation of immigrants" in which the language shift patterns of earlier ethnolinguistic groups have tended towards linguistic assimilation through English. In recent years, however, changes in the demographic landscape and language maintenance by non-English speaking immigrants, particularly Hispanics, have been perceived as threats and have led to calls for an official English language policy.This thesis aims to contribute to the study of language policy making from a societal security perspective as expressed in attitudes regarding language and identity originating in the daily interaction between language groups. The focus is on the role of language and American identity in relation to immigration. The study takes an interdisciplinary approach combining language policy studies, security theory, and critical discourse analysis. The material consists of articles collected from four newspapers, namely USA Today, The New York Times, Los Angeles Times, and San Francisco Chronicle between April 2006 and December 2007.Two discourse types are evident from the analysis namely Loyalty and Efficiency. The former is mainly marked by concerns of national identity and contains speech acts of security related to language shift, choice and English for unity. Immigrants are represented as dehumanised, and harmful. Immigration is given as sovereignty-related, racial, and as war. The discourse type of Efficiency is mainly instrumental and contains speech acts of security related to cost, provision of services, health and safety, and social mobility. Immigrants are further represented as a labour resource. These discourse types reflect how the construction of the linguistic 'we' is expected to be maintained. Loyalty is triggered by arguments that the collective identity is threatened and is itself used in reproducing the collective 'we' through hegemonic expressions of monolingualism in the public space and semi-public space. The denigration of immigrants is used as a tool for enhancing societal security through solidarity and as a possible justification for the denial of minority rights. Also, although language acquisition patterns still follow the historical trend of language shift, factors indicating cultural separateness such as the appearance of speech communities or the use of minority languages in the public space and semi-public space have led to manifestations of intolerance. Examples of discrimination and prejudice towards minority groups indicate that the perception of worth of a shared language differs from the actual worth of dominant language acquisition for integration purposes. The study further indicates that the efficient working of the free market by using minority languages to sell services or buy labour is perceived as conflicting with nation-building notions since it may create separately functioning sub-communities with a new cultural capital recognised as legitimate competence. The discourse types mainly represent securitising moves constructing existential threats. The perception of threat and ideas of national belonging are primarily based on a zero-sum notion favouring monolingualism. Further, the identity of the immigrant individual is seen as dynamic and adaptable to assimilationist measures whereas the identity of the state and its members are perceived as static. Also, the study shows that debates concerning language status are linked to extra-linguistic matters. To conclude, policy makers in the US need to consider the relationship between four factors, namely societal security based on collective identity, individual/human security, human rights, and a changing linguistic demography, for proposed language intervention measures to be successful.

Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Vocabulary Instruction as a Tool for Helping Students of Diverse Backgrounds and Ability Levels to Understand Mathematical Concepts

This action research project describes a research project designed and implemented specifically with an emphasis on the instruction of mathematical vocabulary. The targeted population was my second period classroom of sixth grade students. This group of seventeen students represented diverse socioeconomic backgrounds and abilities. The school is located in a community of a population of approximately 5,000 people in the Midwest. My research investigation focused on the use of specific methods of vocabulary instruction and students’ use of precise mathematical vocabulary in writing and speaking. I wanted to see what effects these strategies would have on student performance. My research suggested that students who struggle with retention of mathematical knowledge have inadequate language skills. My research also revealed that students who have a sound knowledge of vocabulary and are engaged in the specific use of content language performed more successfully. Final analysis indicated that students believed the use of specific mathematical language helped them to be more successful and they made moderate progress in their performance on assessments.

Research and theory driven insights: ten suggestions for L2 reading instruction

[EN]Research and theory on second language reading has reached heightened dimensions in recent years. It is through reading that learners access much information concerning the target language and culture, and consequently reading is an important part of almost all language programs across stages of acquisition. The purpose of this article is to offer informed suggestions for the foreign language instructor of reading. The ideas given in this paper constitute a collaborative project that developed as part of a graduate seminar on L2 Reading and Writing taught at Washington University in St. Louis.