Non-reformist reform for Haskell Modularity

In this thesis, I present Backpack, a new language for building separately-typecheckable packages on top of a weak module system like Haskell’s. The design of Backpack is the first to bring the rich world of type systems to the practical world of packages via mixin modules. It’s inspired by the MixML module calculus of Rossberg and Dreyer but by choosing practicality over expressivity Backpack both simplifies that semantics and supports a flexible notion of applicative instantiation. Moreover, this design is motivated less by foundational concerns and more by the practical concern of integration into Haskell. The result is a new approach to writing modular software at the scale of packages.Modulsysteme wie die in Haskell erlauben nur eine weiche Art der Modularität, in dem Modulimplementierungen direkt von anderen Implementierungen abhängen und in dieser Abhängigkeitsreihenfolge verarbeitet werden müssen. Modulsysteme wie die in ML andererseits erlauben eine kräftige Art der Modularität, in dem explizite Schnittstellen Vermutungen über Abhängigkeiten ausdrücken und jeder Modultyp überprüft und unabhängig ergründet werden kann. In dieser Dissertation präsentiere ich Backpack, eine neue Sprache zur Entwicklung separattypenüberprüfbarer Pakete über einem weichen Modulsystem wie Haskells. Das Design von Backpack überführt erstmalig die reichhaltige Welt der Typsysteme in die praktische Welt der Pakete durch Mixin-Module. Es wird von der MixML-Kalkulation von Rossberg und Dreyer angeregt. Backpack vereinfacht allerdings diese Semantik durch die Auswahl von Anwendbarkeit statt Expressivität und fördert eine flexible Art von geeigneter Applicative- Instantiierung. Zudem wird dieses Design weniger von grundlegenden Anliegen als von dem praktischen Anliegen der Eingliederung in Haskell begründet. Die Semantik von Backpack wird durch die Ausarbeitung in Mengen von Haskell-Modulen und „binary interface files“ definiert, und zeigt so, wie Backpack Interoperabilität mit Haskell erhält, während Backpack es mit Schnittstellen nachrüstet. In meiner Formalisierung Backpacks präsentiere ich ein neuartiges Typsystem für Haskellmodule und überprüfe einen entscheidenen Korrektheitssatz, um die Semantik von Backpack zu validieren.Max Planck Institute for Software Systems (MPI-SWS

Visualizing the Future: Work-Integrated Learning and the Psychosocial and Professional Development of Undergraduates

This study examined the following central research question: What experiences enhance the psychosocial development (as defined by Chickering & Reisser [1993]) and professional development of students that participate in work-integrated learning programs? Specifically, this study also explored the following sub-questions: (a) how does participation in work-integrated learning support the development of personal and/or professional identity, and (b) how do undergraduate students perceive their growth and preparation for careers as a result of their work-integrated learning experiences

Pathogenesis of canine liver disease

Liver disease is a common cause of morbidity and mortality in dogs. Liver diseases can be broadly classified into vascular abnormalities such as congenital portosystemic shunt (cPSS) and parenchymal diseases such as primary hepatitis. cPSS are a well-recognised vascular anomaly in dogs. Despite the importance of liver diseases as a cause of debilitating clinical signs, little is understood about the pathophysiology of the complications of canine liver disease and it is currently difficult to provide accurate prognostic information to owners of dogs with liver disorders. One of the most common complications of canine liver diseases is the development of neurological signs termed hepatic encephalopathy (HE). The pathogenesis of HE is poorly understood although increases in ammonia, manganese, gastrointestinal-derived endogenous benzodiazepines, cortisol and altered tryptophan metabolism have been linked to the development of neurological signs. Recent studies have also shown an association between inflammation and HE in dogs with cPSS. However, little is known about the role of manganese in the dogs with primary hepatitis and the relationship between inflammation and liver disease has only been crudely assessed to date using tools such as the systemic inflammatory response score. A small number of studies have examined prognostic markers in dogs with liver disease. However, none have examined the relationship between inflammation and outcome. This is surprising given the accumulating data in human hepatology which indicates that the presence of systemic inflammatory response syndrome (SIRS) is a common and debilitating event in patients with liver diseases. For example, the presence of SIRS has been linked to the development of complications such as HE and is associated with a poor clinical outcome in humans with liver diseases. In contrast, the relationship between SIRS and clinical outcome in dogs with a primary hepatopathy is unknown. This thesis aimed to advance understanding of the pathogenesis of hepatic encephalopathy in dogs with liver disease. In addition, the thesis aimed to examine the relationship between inflammation and clinical outcomes in dogs with liver disease. Specifically, the aim of this body of work was to examine manganese and sodium metabolism in dogs with primary hepatitis and to measure cytokines in dogs with a congenital portosystemic shunt. The final aim was to examine the relationship between systemic inflammatory response scores to clinical outcomes in dogs with a primary hepatitis. This thesis demonstrated that a high SIRS score was associated with a poorer long term survival in dogs with primary hepatopathies. Furthermore, IL-6 concentrations were increased in dogs with a cPSS. Given the well-established role of IL-6 in the pathogenesis of hepatic encephalopathy in humans with acquired liver disease, it is possible that IL-6 may be important in the development of HE in dogs with a cPSS. This thesis also demonstrates that whole blood Mn concentrations are increased in dogs with primary hepatitis and sodium concentrations were rarely outside the reference range in dogs with primary hepatitis. This finding is in contrast with the numerous studies of human patients with liver disease. Overall, these findings highlight the potential role of dogs as a model to examine the pathogenesis of liver disease in human health

Fiber Glass Mat Splice Automation

Currently, GAF has two operators manually splice together each roll of fiberglass mat. To save money and resources, GAF wants to automate this splicing process. Our team is responsible for stage 3 of 5 in this automation process. We are responsible for ensuring that the system is able to move autonomously to the necessary positions required for splicing together the rolls of fiberglass mat. We have determined the best solution for accomplishing this movement is to use linear slide actuators. This document will describe the process by which we arrived at our solution, the details of our solution, and a description of how we will manufacture our design

Signalment and C-reactive protein values in dogs with immune-mediated polyarthritis and steroid responsive meningitis arteritis

Introduction: This retrospective multicentric study aims to evaluate the ability of CRP concentration to differentiate between dogs diagnosed with IMPA and SRMA. C-reactive protein (CRP) is a marker of inflammation widely used in two of the most commonly diagnosed immune-mediated diseases in dogs—Immune-mediated polyarthritis (IMPA) and steroid responsive meningitis arteritis (SRMA). Materials and methods: Data collected from medical records of 167 client-owned dogs included age, breed, gender, neuter status, body weight, body temperature, CRP concentration, month and season of diagnosis. CRP was measured quantitatively in 142 dogs (84%) and semi-quantitatively in 27 dogs (16%). Results: SRMA was diagnosed significantly more often in dogs < 12 months old and IMPA in dogs ≥12 months old (P < 0.001). Dogs diagnosed with SRMA had higher CRP concentration than dogs diagnosed with IMPA (P = 0.02). This difference was influenced by the dog's age–when a dog was <12 months old, a higher CRP concentration indicated IMPA (P = 0.02), whereas when a dog was ≥12 months old, a higher CRP concentration indicated SRMA (P = 0.02). Discussion: CRP concentration as a sole diagnostic modality showed only fair discriminatory potential to differentiate between SRMA and IMPA (area under ROC curve close to 0.7). CRP concentration varied depending on patient age and definitive diagnosis. It may play some role in differentiating between SRMA and IMPA but should not be used as the sole diagnostic modality, given it has been demonstrated to only have fair discriminatory potential

A Creative Writing Case Study of Gender-Based Violence in Coach Education: Stacey’s Story

Accepted author manuscript version reprinted, by permission, from Women in Sport and Physical Activity Journal, 2020, 28 (1): 72–80, https://doi.org/10.1123/wspaj.2018-0046]. © 2020 University of North Carolina at Greensboro (UNCG).Creative nonfiction writing is the literary technique employed in this article to explore insights and assist our understanding of an “alleged” sexual assault in a sport coach education environment. Creative nonfiction employs various narrative tools— characters, setting, figurative language, sequences of events, plot, sub-plot, and dialogue—designed to render the sensitive and controversial elements of sexual assault significant. Readers are, therefore, invited to engage with Stacey’s Story and reflect on the actions of both the perpetrator(s) and the victim. While there are risks associated with the sharing of stories, especially those which are considered dangerous, it is envisaged that Stacey’s Story will be viewed as an opportunity to develop more critical responses and advance our understanding of gender-based violence in sport.Peer reviewe