Liquid Intersection Types

We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise types than in the original refinement system. We have been able to prove several interesting properties for our system (including subject reduction) and developed an inference algorithm, which we proved to be sound.Comment: In Proceedings ITRS 2014, arXiv:1503.0437

Information and communication technology adoption for business benefits: a case analysis of an integrated paperless system

This case study analyses the benefits of implementing a paperless software solution (Alert®pfh–Alert Paperfree Hospital, developed by Alert Life Sciences Computing) in a Portuguese Hospital, the Espírito Santo Hospital, in the city of Évora. Alert®pfh is a complete hospital clinical information system with real time clinical information input. It was implemented in emergency medical services, inpatient and outpatient services, and operating room services. Data were collected between 2006 and 2011 prior to, during and after the system's implementation. The case analysis demonstrates that paperless software systems have a significant potential when applied in healthcare organization services. Besides financial benefits, other important organizational features were identified, namely higher levels of patient and professional satisfaction; an increase in efficiency in hospital operations; improvement in the quality of information for management decision-making; and a reduction in medical errors. Lessons learned are noted and conclusions drawn for both theoretical and practical ICT benefits analysis