research
∙
07/14/2023
Fitted avatars: automatic skeleton adjustment for self-avatars in virtual reality
In the era of the metaverse, self-avatars are gaining popularity, as the...
share
research
∙
06/13/2020
Pure Pattern Calculus à la de Bruijn
It is well-known in the field of programming languages that dealing with...
research
∙
02/10/2020
The Bang Calculus Revisited
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Call-...
research
∙
01/31/2018
