Ulrich Schöpp
TitleCited byYear
Stratified bounded affine logic for logarithmic space
U Schopp
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 411-420, 2007
582007
A dependent type theory with names and binding
U Schöpp, I Stark
International Workshop on Computer Science Logic, 235-249, 2004
512004
Functional programming in sublinear space
U Dal Lago, U Schöpp
European Symposium on Programming, 205-225, 2010
402010
Names and binding in type theory
U Schöpp
University of Edinburgh. School of Informatics., 2006
222006
Type inference for sublinear space functional programming
U Dal Lago, U Schöpp
Asian Symposium on Programming Languages and Systems, 376-391, 2010
192010
Computation by interaction for space-bounded functional programming
U Dal Lago, U Schöpp
Information and Computation 248, 150-194, 2016
182016
Pure pointer programs with iteration
M Hofmann, U Schöpp
ACM Transactions on Computational Logic (TOCL) 11 (4), 26, 2010
162010
Verifying temporal properties using explicit approximants: Completeness for context-free processes
U Schöpp, A Simpson
International Conference on Foundations of Software Science and Computation …, 2002
152002
Call-by-value in a basic logic for interaction
U Schöpp
Asian Symposium on Programming Languages and Systems, 428-448, 2014
142014
Pointer programs and undirected reachability
M Hofmann, U Schopp
2009 24th Annual IEEE Symposium on Logic In Computer Science, 133-142, 2009
122009
Space-efficient computation by interaction
U Schöpp
International Workshop on Computer Science Logic, 606-621, 2006
122006
On the relation of interaction semantics to continuations and defunctionalization
U Schöpp
Logical Methods in Computer Science 10 (4), 2014
112014
On interaction, continuations and defunctionalization
U Schöpp
International Conference on Typed Lambda Calculi and Applications, 205-220, 2013
102013
Computation-by-interaction with effects
U Schöpp
Asian Symposium on Programming Languages and Systems, 305-321, 2011
102011
Organising low-level programs using higher types
U Schöpp
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
92014
Modelling generic judgements
U Schöpp
Electronic Notes in Theoretical Computer Science 174 (5), 19-35, 2007
72007
From call-by-value to interaction by typed closure conversion
U Schöpp
Asian Symposium on Programming Languages and Systems, 251-270, 2015
62015
Pure pointer programs and tree isomorphism
M Hofmann, R Ramyaa, U Schöpp
International Conference on Foundations of Software Science and …, 2013
62013
Pointer programs and undirected reachability
U Schöpp, M Hofmann
Electronic Colloquium on Computational Complexity (ECCC) 15 (090), 2008
62008
Pure pointer programs with iteration
M Hofmann, U Schöpp
International Workshop on Computer Science Logic, 79-93, 2008
62008
The system can't perform the operation now. Try again later.
Articles 1–20