ANESTHESIOLOGY CLINICS www.anesthesiology.theclinics.com Consulting Editor LEE A. FLEISHER June 2022 • Volume 40 Number 2

Chinese older persons (N = 164) recruited from social centers responded to a survey instrument tapping the perceived filial behaviors of children (close vs not close), and the degree to which these behaviors matched personal expectations (filial discrepancy). Across all kinds of filial behaviors, providing attention when the parent was ill or distressed was perceived to be the least performed a...

We adapt the technique of type-generic programming via descriptions pointing into a universe to the domain of typed languages with binders and variables, implementing a notion of syntax-generic programming in a dependently typed programming language. We present an Agda library implementation of type-preserving renaming and substitution (including proofs about their behaviour) “once and for all”...