Judith van Stegeren

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Continuation Calculus (CC), introduced by Geron and Geuvers [2], is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting, but it has no variable binding and no pattern matching. It is Turing complete and evaluation is deterministic. Notions like “call-by-value” and “call-by-name” computation are(More)
In this thesis, we will analyze some of the components of the learning environment of the learning tool Tomte. This tool adds components to the learning environment, which enables it to learn a large class of extended finite state machines, including register automata with fresh output values. We will describe the Determinizer, a component that transforms(More)
  • 1