Digital Commons Network^™

Promoting Functions To Type Families In Haskell, Richard A. Eisenberg, Jan Stolarek

Computer Science Faculty Research and Scholarship

Haskell, as implemented in the Glasgow Haskell Compiler (GHC), is enriched with many extensions that support type-level programming, such as promoted datatypes, kind polymorphism, and type families. Yet, the expressiveness of the type-level language remains limited. It is missing many features present at the term level, including case expressions, anonymous functions, partially-applied functions, and letexpressions. In this paper, we present an algorithm - with a proof of correctness - to encode these term-level constructs at the type level. Our approach is automated and capable of promoting a wide array of functions to type families. We also highlight and discuss …

The Vientiane Report: National Landscape, Current Challenges And Opportunities For Growt, Institute For Societal Leadership, Lai Cheng Lim

Institute of Societal Leadership Research Collection

Laos is a small, landlocked, mountainous country in Southeast Asia. As a country, it shares borders with Myanmar and the People’s Republic of China to the Northwest, Vietnam to the East, Cambodia to the South and Thailand to the West.

The Dili Report: National Landscape, Current Challenges And Opportunities For Growth, Institute For Societal Leadership, Lai Cheng Lim

Institute of Societal Leadership Research Collection

Timor-Leste, Asia’s newest nation, is located in Southeast Asia, on the southernmost edge of the Indonesian archipelago. The country was colonised by the Portuguese for over 450 years, occupied by the Indonesians for 24 years and administered by the United Nations for two and a half years. As a nation, Timor-Leste has had a very traumatic birth.

Honors Oracle, December 2014, Marshall University Honors College

Honors Oracle

Marshall University’s Honors College newsletter

Too Smart To Fail: Guide For The Struggling Medical Student, Michael Andyryka, Timothy Wilson-Byrne Md, Sean Fitzpatrick, Marie Veitia, Ryan Orwig, Franklin D. Shuler Md, Phd

MIIR Faculty Research

Medicine is a vocation of perpetual independent learning; long-term success is critically dependent on finding the right resources and establishing effective study methods and test-taking strategies. Students who struggle with the academic transition in medical school have common risk factors and characteristics. We highlight key resources that are available for struggling medical students with an emphasis on West Virginia's HELP, ASPIRE, and STAT programs.

Academic Affairs Division Newsletter, December 2014, San Jose State University

Academic Affairs Division Newsletter

No abstract provided.

Violent Growth, Leandro Cortez

Architecture Thesis Prep

Generating mix-use program to meet the housing, economic, and nutritive needs of rural migrants to the "urban periphery."

Beyond Vision: Designing For The Deaf, Kristen Charters

Architecture Thesis Prep

I propose a Deaf/Hearing Cultural Center as a means of testing these relationships. The center would enable the increased awareness of Deaf culture by the Hearing population while providing a space for the Deaf community. The varied programs of a cultural center would enable the investigation of a sensory architecture in combination with the social aspects of being Deaf.

Hedonic Architecture: Coexistance Of Hyper Stimulating And Hypo Stimulating Experiences, Rossitza Iovtcheva

Architecture Thesis Prep

This thesis proposes that rehabilitating effects can be achieved through natural stimulation facilitated by the architectural design. It argues that while hospital design requires stress reduction to improve healing, a polar experience of hyper stimulation is also necessary for a substance abuser in order to yield a decrease of relapse rates.

Perfomance Pedagogy, Dana Hareli

Architecture Thesis Prep

The deterioration of performance-based learning in contemporary educational practices, fostering one-to-one teaching models, prompts a discussion of the implications of theatricality on design education and the role of performance pedagogy in the architectural discipline. The Montessori method of education is a child-centered educational approach, which views the child as eager and capable of initiating learning in a supportive and prepared learning environment

Redefining The Prison Milieu, Emily Lodato

Architecture Thesis Prep

Spaces of solitary confinement and isolation are the most detrimental to the mental health of any patient. In order to influence positive mental health, spaces must promote human interaction with the objective of instilling a sense of community in the inmates. A community is composed of varying architectural elements that create private and public spaces with different types of restrictions at different times.

Godless Pious: Buddhist Sacred Space, Holly Kang

Architecture Thesis Prep

The present dissonance between the practice and architecture of Buddhism can be resolved through the programmatic revision of the sacred complex that prioritizes the interdependence of the sacred, the banal and the profane.

Curated Disorders, Nathanael Bengio

Architecture Thesis Prep

By using the techniques of contradiction that existed in Dadaism fused with those of psychoanalysis and defamiliarization in Surrealism and Nouveau-Realism, my thesis examines the possibility of an architectural typology that critiques hyper-functionalities, anonymous ornament and the general facelessness of most commercialized architecture today. Within the context of a Haussmannian facade will be created a simple matrix that allows for the displacement of architectural elements in and out of their intended contexts leading to the curation of the reverse, the disordered twin.

Dwelling In Density: A Study On High Density Residential Architecture, David Domke

Architecture Thesis Prep

This thesis aims to propose an high density plan for Philadelphia by cataloging existing vacancy levels, define variously dense formal typologies within these vacancies, and strategically implement high-density architectures within the existing urban fabric to accomodate future growth.

Augmenting The Third Teacher, Christina Hoover

Architecture Thesis Prep

This thesis explores the formal and material design potentials of the school and contends that for it to adapt to the needs of today’s techno-centric youth, dynamic and responsive materials should be integrated to enhance the environmental quality of spaces for a child’s developmental benefit.

Cuba: Architecture And The Social Order, Jessica Obregon

Architecture Thesis Prep

As the Cuban society emerged and developed, the combined forces of slavery, feudalism, capitalism, and socialism had a great impact on its architecture. When architecture ceases to be an “effect” to become a “cause”, architecture becomes a tool to affect social change.

Spatializing The Corridor, Mengru Li

Architecture Thesis Prep

The goal of this thesis project is to develop a model for a public corridor that would serve as the basis for the future development in the planning of a new district.

Designing For A Resilient Waterfront, Laura Festa

Architecture Thesis Prep

The project will use soft infrastructure systems to create a more environmental, technical, and economically resilient waterfront development. The threat of rising sea level will become the framework for a flexible and holistic design between architecture, landscape, and soft infrastructure. By arraying the activities of recreation, ecology, and urban development along the waterfront and combining these design strategies with a soft infrastructure system, the coastline of East Boston has the potential to become a precedent for other urban waterfronts vulnerable to sea level rise. By rethinking the division between landscape and infrastructure to form a soft infrastructure system, solutions can …

Storrytelling And Its Mediums: The Spatial Implications Of Creative Collaboration Spaces, Omal-Hoda Kassim

Architecture Thesis Prep

For this specific thesis we will be focusing our area of study of ‘storytelling’ on Film/Cinema, Animation and Comics. The three disciplines require highly creative people who are required to be multi-talented, as well as collaborate highly with one another. This coerced collaboration is one key point of study for this thesis.

Civic Composition: An Architectural Solution To An Urban Problem, Kaan Sanalan

Architecture Thesis Prep

The project I am proposing, “A New Way to Expand our

Cities: a Concentration of Civic Infrastructure”, offers a

solution to this ill growth expansion. A hyper dense populated

city big enough to support public transportation and

other amenities less populated areas do not, in simpler

terms, human oriented cities with concentrated civic infrastructures

(for example: schools, city halls, museums, spa

centers, transportation centers, commercial areas and low

income housing). This can be done easily with the encouragement

of the private sector and no zoning or mixed use,

but instead, more general rules and guidance which create

more opportunity to …

Unlocking The Architectural Lessons Of Life On For Life At, The Beach: Mixed-Use Housing And Planning, Flagler Beach, Florida, David O'Bryan

Architecture Thesis Prep

Flagler Beach, Florida will be the stage for this architectural experiment. Chosen for its efforts to hold on to it’s vernacular architecture, economic mix, cultural diversity and environmental expression, while challenged by the pressures of tourism and gentrification that it may not even know exists. Its origin was that of a destination place that converted to a hometown community that now has difficult decisions to make possibly loosing what makes it currently a great place. Flagler Beach could fall prey, as other beach communities have, and become forced under development pressures, into a place that it never intended to be.

Active Density: Stimulating The Urban Domain In High-Rise Social Housing Developments, Heather Dela Cruz

Architecture Thesis Prep

I propose to retain the benefits of vertical housing and improve upon it by

up-zoning the block and building low-rise, high-density mixed-income structures

on the site’s perimeter. The new construction will include public amenities that are

lacking in the immediate area such as retail, restaurants, work space, and public

service facilities. Through adaptive re-use of mega blocks will be reclaimed. This

mixed-use approach to the expanded occupancy will also restore the diversity that

was lost when the towers were first built.

Contemporary Sacred Space, George Guarino Iii

Architecture Thesis Prep

I’m interested in the kind of constituency that thinks something along these lines: that

thinks, “I can’t believe in any of this stuff. I can’t believe in the doctrines. I don’t think these

doctrines are right. But,” a very important but, “I love Christmas carols. I really like the art

of Mantegna. I really like looking at old churches. I really like turning the pages of the Old

Testament.” Whatever it may be, you know the kind of thing I’m talking about -- people

who are attracted to the ritualistic side, the moralistic, communal side of religion, but can’t

bear …

Inhabiting Urban Voids: Urban Infrastructure In Sao Paulo, Andrea Novazzi

Architecture Thesis Prep

Single-functioning infrastructure produces residual spaces within the urban fabric of a city. Existing structures may be ‘thickened’ through the implementation of different programs. The singularity of infrastructural elements creates a ‘clean’ environment lacking use or character. Infrastructure is a public service that enables human interaction. “Thickening” the infrastructure with public programs, either formally or informally, may facilitate an ‘event’ happening between individuals. My thesis asserts that within the urban voids generated by existing infrastructure, public programs may be implemented in order to promote spaces that encourage different human transactions and encounters, to create a spatial identity.

Perception, Megan Rand

Architecture Thesis Prep

In today’s age of technology, online media allows wider access

to architectural photos and information. Through images provided

by architectural firms, magazines, amateur photographers, official

websites, and social media, one can experience a building to

an extent, without ever visiting that physical place. This greatly

impacts the discipline of architecture, as the general public is

able to view, interpret, and criticize works without the consent

or the input of the architect. Before the rise of social media,

architects had great control over what information and images

were released for a project, controlling the perception of the

general public.

“There’S No Way I’M Moving Into A Nursing Home. You're Going To Have To Shoot Me First.", Robert Moldafsky

Architecture Thesis Prep

Current retirement homes near universities introduce the burgeoning minds of college students and the academic culture of a university, the lectures, professors, and resources to satisfy the mind, but do not provide a bridge for the experience and knowledge of the elderly to benefit the university. One area of a possible Collective Group Form is the University medical center. The elderly require more medical attention as time goes by and Universities have some of the most advanced and highest ranked geriatrics programs. Perhaps there is a cross over where the university provides medical services and the elderly are available to …

Urban Systems Of The Refugee Camp, Julia Slater

Architecture Thesis Prep

Upon completion of my research I will design a system that allows the

flexibility needed by the people as well as the control the government

and NGO’s are responsible for providing. I will focus on the way playing

with the relevant scale can help to bridge the gap between indi

vidual

and group. Special configuration is a key component in forming

communal spaces. The integration of these spaces on every scale is

fundamental to achieving success. Issues of permanence can be addressed

though alternative building methodologies, and the lessons

learned from indigenous people.

Thickening: A 21st Century Approach For Resilience In Infrastructure, Marco Antonio Ravini

Architecture Thesis Prep

Infrastructure should be designed for higher RESILIENCE, not permanence. Rather than over-engineer to resist the inevitable failure of individual components, the next generation of public infrastructure needs to exceed its technical specifications and seek opportunistic hybridity between systems. In doing so, new possibilities for multi-layered use/outputs emerge which contribute to a more productive and resilient infrastructural lifespan.

House As Mediator: Integrative Typology As Connector Between Land And Sea, Samantha Kudish

Architecture Thesis Prep

Rather than the water being an obstacle to coastal residential communities, water can act as an opportunity. Instead of barricading these areas from the water, integrating it with the area would create communities that are capable of living in unison with the ocean. This can introduce new typologies of housing that can withstand the continuing rise of sea levels. Blurring the line between land and sea by living with the sea will allow coastal regions to stay afloat, benefiting from ever-changing water conditions. A proposed new housing typology would introduce a new program to coastal neighborhoods, rather than putting up …

Decay And Opportunity Of Architecture, Alexa Hansford

Architecture Thesis Prep

This thesis aims to develop a connection between the newly elevated downtown Brooklyn and the cultural/civic center of lower Manhattan. One of the growth projects is known as the Urban Farming Initiative. Private areas through out the five boroughs have been redeveloped into community gardens. The public then cultivates and reaps goods for their personal use. Through the expansion of the Urban Farming Initiative this new network connection can act as the "bridge" between the two major city centers as well as creating a central hub for the farming network.