Ulrich Schöpp

Available identifiers

Publication	Date of Publication	Type
Particle-style geometry of interaction as a module system	2023-08-02	Paper
Inferring region types via an abstract notion of environment transformation	2023-07-25	Paper
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types	2022-12-08	Paper
Semantical analysis of contextual types	2020-09-23	Paper
Computation by interaction for space-bounded functional programming	2016-05-03	Paper
Call-by-value in a basic logic for interaction	2016-02-26	Paper
From call-by-value to interaction by typed closure conversion	2016-01-08	Paper
Pure pointer programs with iteration	2015-09-17	Paper
On the relation of interaction semantics to continuations and defunctionalization	2015-01-15	Paper
Modelling generic judgements	2014-01-10	Paper
On interaction, continuations and defunctionalization	2013-06-28	Paper
Pure Pointer Programs and Tree Isomorphism	2013-03-18	Paper
Functional programming in sublinear space	2010-05-04	Paper
Space-Efficient Computation by Interaction	2009-03-12	Paper
A Formalised Lower Bound on Undirected Graph Reachability	2009-01-27	Paper
Pure Pointer Programs with Iteration	2008-11-20	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738238	2004-08-11	Paper

This page was built for person: Ulrich Schöpp