J. Garrett Morris

Learn More
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement type-safe heterogeneous lists or limited subtyping. Unfortunately, many of the richer uses of type classes require extensions to the class system that have been incompletely described(More)
Facial flushing and sweating were investigated in five patients who complained of the sudden onset of unilateral facial flushing in hot weather or when exercising vigorously. One patient probably suffered a brainstem infarct at the time that the unilateral flush was first noticed, and was left with a subtle Horner's syndrome on the side opposite to the(More)
Vibrio vulnificus is a pathogenic gram-negative bacterium, endemic to brackish waters, which is often isolated from sediments, from the water column or from shellfish. It is associated with wound infections and septicemia in humans and the virulence of V. vulnificus has been strongly associated with encapsulation. The capsular polysaccharide purified from a(More)
Recently, Wadler presented a continuation-passing translation from a session-typed functional language , GV, to a process calculus based on classical linear logic, CP. However, this translation is one-way: CP is more expressive than GV. We propose an extension of GV, called HGV, and give translations showing that it is as expressive as CP. The new(More)
A 29-year-old Caucasian male died from massive cerebral infarction due to unilateral occlusion of the terminal internal carotid artery. The carotid occlusion was secondary to subendothelial fibrous tissue proliferation which was associated with a considerable mononuclear cell infiltration of the carotid wall, characterised as T cells by immunoperoxidase(More)
Vibrio cholerae O139 Bengal has recently been identified as a cause of epidemic cholera in Asia. In contrast to V. cholerae O1, V. cholerae O139 Bengal has a polysaccharide capsule. As determined by high-performance anion-exchange chromatography and 1H nuclear magnetic resonance analysis, the capsular polysaccharide of V. cholerae O139 Bengal strain Al1837(More)
Vibrio damsela was isolated from six wound infections in otherwise healthy persons. In five of the six cases the wounds were known to have been exposed to salt or brackish water at the time of the injury. Vibrio hollisae was isolated from an index stool culture in nine cases in which no other enteric pathogen was identified. All nine patients had diarrhoea(More)