| 2007 |
|---|
| 9 | EE | Christian Haack,
Erik Poll,
Jan Schäfer,
Aleksy Schubert:
Immutable Objects for a Java-Like Language.
ESOP 2007: 347-362 |
| 8 | EE | Patryk Czarnik,
Aleksy Schubert:
Extending Operational Semantics of the Java Bytecode.
TGC 2007: 57-72 |
| 2005 |
|---|
| 7 | EE | Aleksy Schubert:
A Self-dependency Constraint in the Simply Typed Lambda Calculus.
FCT 2005: 352-364 |
| 2004 |
|---|
| 6 | EE | Aleksy Schubert:
On the Building of Affine Retractions.
CSL 2004: 205-219 |
| 2001 |
|---|
| 5 | EE | Aleksy Schubert:
The Complexity of beta-Reduction in Low Orders.
TLCA 2001: 400-414 |
| 2000 |
|---|
| 4 | EE | Aleksy Schubert:
Type Inference for First-Order Logic.
FoSSaCS 2000: 297-313 |
| 3 | EE | Ken-etsu Fujita,
Aleksy Schubert:
Partially Typed Terms between Church-Style and Curry-Style.
IFIP TCS 2000: 505-520 |
| 1998 |
|---|
| 2 | EE | Aleksy Schubert:
Second-Order Unification and Type Inference for Church-Style Polymorphism.
POPL 1998: 279-288 |
| 1997 |
|---|
| 1 | | Aleksy Schubert:
Linear Interpolation for the Higher-Order Matching Problem.
TAPSOFT 1997: 441-452 |
