Ulrich Schöpp

zbMath Openschopp.ulrichMaRDI QIDQ276264

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Particle-style geometry of interaction as a module system Programming Languages and Systems	2023-08-02	Paper
Inferring region types via an abstract notion of environment transformation Programming Languages and Systems	2023-07-25	Paper
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types ACM Transactions on Computational Logic	2022-12-08	Paper
Semantical analysis of contextual types	2020-09-23	Paper
Computation by interaction for space-bounded functional programming Information and Computation	2016-05-03	Paper
Call-by-value in a basic logic for interaction Programming Languages and Systems	2016-02-26	Paper
From call-by-value to interaction by typed closure conversion Programming Languages and Systems	2016-01-08	Paper
Pure pointer programs with iteration ACM Transactions on Computational Logic	2015-09-17	Paper
On the relation of interaction semantics to continuations and defunctionalization Logical Methods in Computer Science	2015-01-15	Paper
Modelling generic judgements	2014-01-10	Paper
On interaction, continuations and defunctionalization Lecture Notes in Computer Science	2013-06-28	Paper
Pure Pointer Programs and Tree Isomorphism Lecture Notes in Computer Science	2013-03-18	Paper
Functional programming in sublinear space Programming Languages and Systems	2010-05-04	Paper
Space-Efficient Computation by Interaction Computer Science Logic	2009-03-12	Paper
A Formalised Lower Bound on Undirected Graph Reachability Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Pure Pointer Programs with Iteration Computer Science Logic	2008-11-20	Paper
Computer Science Logic Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 2087443 (Why is no real title available?)	2004-08-11	Paper

Research outcomes over time

This page was built for person: Ulrich Schöpp