One significant area of research has been the formal semantics of PPLs, particularly concerning nested queries and recursion. A study introduced a core PPL that incorporates continuous ...