The following pages link to Ulrich Schöpp (Q276264):
Displayed 18 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Semantical analysis of contextual types (Q2200843) (← links)
- Call-by-Value in a Basic Logic for Interaction (Q2789064) (← links)
- (Q2871857) (← links)
- On the Relation of Interaction Semantics to Continuations and Defunctionalization (Q2938764) (← links)
- Pure pointer programs with iteration (Q2946614) (← links)
- From Call-by-Value to Interaction by Typed Closure Conversion (Q3460911) (← links)
- Pure Pointer Programs with Iteration (Q3540172) (← links)
- Functional Programming in Sublinear Space (Q3558224) (← links)
- Space-Efficient Computation by Interaction (Q3613366) (← links)
- (Q4738238) (← links)
- Pure Pointer Programs and Tree Isomorphism (Q4910428) (← links)
- A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types (Q5056372) (← links)
- On Interaction, Continuations and Defunctionalization (Q5300903) (← links)
- Computer Science Logic (Q5311260) (← links)
- A Formalised Lower Bound on Undirected Graph Reachability (Q5505585) (← links)
- Particle-style geometry of interaction as a module system (Q6166146) (← links)
- Inferring region types via an abstract notion of environment transformation (Q6176564) (← links)