Learn More
We propose a generalization to Haskell's type classes where a class can have type parameters besides the placeholder variable. We show that this generalization is essential to represent container classes with overloaded data constructor and selector operations. We also show that the resulting type system has principal types and present unification and(More)
OBJECTIVES Maintaining proper access control to Electronic Medical Records (EMR) is essential to protecting patients' privacy. We aim to develop mechanisms and tools that can support fine-grained and adaptable access control for EMR. METHOD This paper presents an aspect-oriented design and implementation scheme to providing adaptable access control for(More)
INTRODUCTION The Institute of Medicine has identified both Computerized Physician Order Entry (CPOE) and Electronic Prescription (EP) as key in reducing medication errors and improving safety. Many computerized clinical decision support systems (CDSSs) improve practitioner performance. However, the development of CDSSs involves a long cycle time that makes(More)
Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like a type inference mechanism, polymorphic types, higher-order functions and <i>type-scoped</i> pointcuts. Our main contribution lies in a(More)
Despite the built-in garbage collector, Java programs can still suffer the memory leak problem resulted from the unhealthy programming style of retaining unwanted references. This paper presents an aspect-based tool for assisting programmers in locating such references to fix the problem. This tool, FindLeaks, utilizes an aspect to collect memory(More)
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects harnessed by type constraints. As types are typically treated as compile time entities, it is highly desirable to be able to perform static weaving to determine at compile time the chaining of(More)
The Institute of Medicine has identified both computerized physician order entry and electronic prescription as keys to reducing medication errors and improving safety. Many computerized clinical decision support systems can enhance practitioner performance. However, the development of such systems involves a long cycle time that makes it difficult to apply(More)
  • K M Chen
  • 1995
The author reports the disappearance of amyotrophic lateral sclerosis (ALS) from Guam over past 30 years, which coincided with rapid changes in the ecology, socioeconomy, and westernization of the life style. This slow but steady decline is believed to be the consequences of radical changes from food collection to wage-based life style and dietary(More)