Search

• < Previous
• 1
• Next >

---

Bootstrapping Inductive and Coinductive Types in HasCASL

Lutz Schröder.

We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL's type class mechanism, and we describe constructions of&nbsp;[&hellip;]

---

Guarded and Unguarded Iteration for Generalized Processes

Sergey Goncharov ; Lutz Schröder ; Christoph Rauch ; Maciej Piróg.

Models of iterated computation, such as (completely) iterative monads, often depend on a notion of guardedness, which guarantees unique solvability of recursive equations and requires roughly that recursive calls happen only under certain guarding operations. On the other hand, many models of&nbsp;[&hellip;]

---