Does International Trump Domestic Trade? The Seed Potato Market in Canada

trade, potato, Agricultural and Food Policy, International Development,

Does International Trump Domestic Trade? The Seed Potato Market in Canada

trade, potato, Canada, Agricultural and Food Policy, International Development, International Relations/Trade,

Disease Outbreaks and Agricultural Trade: The Case of Potatoes

This study analyzed the impact of PVYn and potato wart disease outbreaks in PEI on the potato industry. These disease outbreaks resulted in the loss of the US seed export market to PEI producers. The effects of the disease outbreaks were mitigated through value-added processing. Price premiums for processed potatoes allowed PEI potato producers to abandon seed exports without incurring losses. Evidence is presented to suggest that other countries have also used this approach when export restrictions were placed on domestic agricultural industries. Policy response to the two disease outbreaks include: i) development of a zones policy that helped to reopen markets into the US; and ii) financial compensation to producers above the minimum levels required under the Seeds Act and Regulations. Implementation of the zones policy had beneficial impacts on the potato industry and is mirrored in other disease outbreaks. In contrast, compensation above minimum requirements may set a costly precedent for future disease outbreaks and may have caused moral hazard problems.disease, trade, potatoes, Canada, food, safety, Agricultural and Food Policy, International Development, International Relations/Trade,

Index-Stratified Types

We present Tores, a core language for encoding metatheoretic proofs. The novel features we introduce are well-founded Mendler-style (co)recursion over indexed data types and a form of recursion over objects in the index language to build new types. The latter, which we call index-stratified types, are analogue to the concept of large elimination in dependently typed languages. These features combined allow us to encode sophisticated case studies such as normalization for lambda calculi and normalization by evaluation. We prove the soundness of Tores as a programming and proof language via the key theorems of subject reduction and termination

The Dynamics of State University Participation in State Medicaid Administration

It is not uncommon for state university faculty to participate as part-time consultants in the administration of state Medicaid programs. However, rarely do state universities participate institutionally as public agencies in the administration of state Medicaid programs since the propriety, value and parameters of these engagements are usually not recognized. Even in states where they flourish, collaborations between state universities and state Medicaid agencies are not well understood and suggest to some people an unlikely confluence of two worlds. The missions of state universities and state Medicaid programs differ, their institutional cultures differ, and their protocols differ. In all states, state universities are considered apart from other state agencies, sometimes to the point of not being thought of as state agencies at all. Yet, the appropriateness and benefits of state universities engaging in Medicaid administration have been well established by state universities and the state Medicaid programs that have worked together. In light of the challenges facing state Medicaid programs and what state universities can do for these programs, state universities contributing to Medicaid administration should be more recognized and more common. Explanation and examples follow. Rounding out this discussion will be depictions of collaborations in three states: Maryland, Massachusetts and Ohio. Maryland’s initiative spotlights analytic, program development and program evaluation services; Massachusetts’ features clinical expertise; and, Ohio’s dwells on workforce development. In all three states, the state university partner does far more for Medicaid than is covered here, but these examples suggest the breadth of what state universities can do