On Normalization by Evaluation for Object Calculi

Abstract

Abstract. We present a procedure for computing normal forms of terms in Abadi and Cardelli's functional object calculus. Even when equipped with simple types, terms of this calculus are not terminating in general, and we draw on recent ideas about the normalization by evaluation paradigm for the untyped lambda calculus. Technically, we work in the framework of Shinwell and Pitts' FM-domain theory, which leads to a normalization procedure for the object calculus that is directly implementable in a language like Fresh O'Caml.

Analisis penulisan assessment dan plan CPPT apoteker pada pasien community acquired pneumonia (CAP) Rawat inap di rumah sakit X Padang

“…Assesment yang ditulis dalam lembar Catatan Perkembangan Pasien Terintegrasi (CPPT) pada rekam medis berupa Drug Releated Problem (DRP) (Kemenkes, 2019). Bagian assessment (A) ini menguraikan kesimpulan tentang keadaan pasien saat ini, bukti perbaikan kondisi kesehatan pasien, respon terhadap intervensi atau pengobatan, dan perubahan status fungsional pada pasien berdasarkan informasi subjektif dan objektif yang diperoleh (Schwinghammer, 2008). Pada penulisan DRP sebaiknya menggunakan bahasa yang tidak kaku tetapi lebih menerangkan problem terkait obat yang akan disampaikan, sehingga bisa dinyatakan dalam bentuk kalimat.…”