Single-sex Schooling and Academic Attainment at School and through the Lifecourse

This paper examines the impact of single-sex schooling on a range of academic outcomes for a sample of British people born in 1958. In terms of the overall level of qualifications achieved, we find that single-sex schooling is positive for girls at age 16, but neutral for boys, while at later ages, single-sex schooling is neutral for both sexes. However, we find that single-sex schooling is linked to the attainment of qualifications in gender-atypical subject areas for both sexes, not just during the school years, but also later in life

Deconstructing comprehensibility: identifying the linguistic influences on listeners' L2 comprehensibility ratings

Comprehensibility, a major concept in second language (L2) pronunciation research that denotes listeners’ perceptions of how easily they understand L2 speech, is central to interlocutors’ communicative success in real-world contexts. Although comprehensibility has been modeled in several L2 oral proficiency scales—for example, the Test of English as a Foreign Language (TOEFL) or the International English Language Testing System (IELTS)—shortcomings of existing scales (e.g., vague descriptors) reflect limited empirical evidence as to which linguistic aspects influence listeners’ judgments of L2 comprehensibility at different ability levels. To address this gap, a mixed-methods approach was used in the present study to gain a deeper understanding of the linguistic aspects underlying listeners’ L2 comprehensibility ratings. First, speech samples of 40 native French learners of English were analyzed using 19 quantitative speech measures, including segmental, suprasegmental, fluency, lexical, grammatical, and discourse-level variables. These measures were then correlated with 60 native English listeners’ scalar judgments of the speakers’ comprehensibility. Next, three English as a second language (ESL) teachers provided introspective reports on the linguistic aspects of speech that they attended to when judging L2 comprehensibility. Following data triangulation, five speech measures were identified that clearly distinguished between L2 learners at different comprehensibility levels. Lexical richness and fluency measures differentiated between low-level learners; grammatical and discourse-level measures differentiated between high-level learners; and word stress errors discriminated between learners of all levels

The Design Principles of the Elixir Type System

Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of thousands of developers. Static typing seems nowadays to be the most important request coming from the Elixir community. We present a gradual type system we plan to include in the Elixir compiler, outline its characteristics and design principles, and show by some short examples how to use it in practice. Developing a static type system suitable for Erlang's family of languages has been an open research problem for almost two decades. Our system transposes to this family of languages a polymorphic type system with set-theoretic types and semantic subtyping. To do that, we had to improve and extend both semantic subtyping and the typing techniques thereof, to account for several characteristics of these languages -- and of Elixir in particular -- such as the arity of functions, the use of guards, a uniform treatment of records and dictionaries, the need for a new sound gradual typing discipline that does not rely on the insertion at compile time of specific run-time type-tests but, rather, takes into account both the type tests performed by the virtual machine and those explicitly added by the programmer. The system presented here is "gradually" being implemented and integrated in Elixir, but a prototype implementation is already available. The aim of this work is to serve as a longstanding reference that will be used to introduce types to Elixir programmers, as well as to hint at some future directions and possible evolutions of the Elixir language

Spartan Daily, March 5, 2003

Volume 120, Issue 29https://scholarworks.sjsu.edu/spartandaily/9825/thumbnail.jp

Software Requirements Specification for Lunar Icecube

A thesis presented to the faculty of the College of Science at Morehead State University in partial fulfillment of the requirements for the Degree Master of Science by Michael R. Glaser-Garbrick on April 21, 2017

Aura: Programming with Authorization and Audit

Standard programming models do not provide direct ways of managing secret or untrusted data. This is a problem because programmers must use ad hoc methods to ensure that secrets are not leaked and, conversely, that tainted data is not used to make critical decisions. This dissertation advocates integrating cryptography and language-based analyses in order to build programming environments for declarative information security, in which high-level specifications of confidentiality and integrity constraints are automatically enforced in hostile execution environments. This dissertation describes Aura, a family of programing languages which integrate functional programming, access control via authorization logic, automatic audit logging, and confidentially via encryption. Aura\u27s programming model marries an expressive, principled way to specify security policies with a practical policy-enforcement methodology that is well suited for auditing access grants and protecting secrets. Aura security policies are expressed as propositions in an authorization logic. Such logics are suitable for discussing delegation, permission, and other security-relevant concepts. Aura\u27s (dependent) type system cleanly integrates standard data types, like integers, with proofs of authorization-logic propositions; this lets programs manipulate authorization proofs just like ordinary values. In addition, security-relevant implementation details---like the creation of audit trails or the cryptographic representation of language constructs---can be handled automatically with little or no programmer intervention

Exploring Colonial Legacy Among Liberians in The Diaspora: Clash of Two Cultures

abstract: This thesis investigates colonialism’s legacy on contemporary Liberia’s language practices and self-understandings. Liberia was colonized by freed American slaves under the auspices of the American Colonization Society, established in 1816, which sought to establish a Christian colony in Africa as part of its plan to save the black race. The freed slaves who realized this dream imposed their master’s language and religion upon the indigenous people they encountered while establishing the Liberian nation-state. This thesis delineates and explores three distinct data sets in order to identify contemporary vestiges and legacies of these colonial strategies, including interview data from Liberian immigrants, memoirs written by Liberians, and social media posts by Liberian immigrants. The study uses discourse analysis to analyze how Liberian immigrants represent themselves and their cultural practices drawing upon both colonial and indigenous identities. Findings revealed people with light skinned color (referred to as white) were viewed as beautiful and dark skinned people (referred to Africans) were considered as ugly. The study also revealed that speaking local languages is equated with illiteracy while the ability to speak English was seen as a sign of literacy. However, there was also a contradictory imperative that demonstrated resistance against the colonizing narrative. Liberia immigrants who experienced American culture fantasized about what they called true African identity and culture, revalorizing what previously had been negated.Dissertation/ThesisMasters Thesis Communication 201