In the era of the metaverse, self-avatars are gaining popularity, as the...
It is well-known in the field of programming languages that dealing with...
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both
Call-...
We show that call-by-need is observationally equivalent to weak-head nee...