dblp.uni-trier.dewww.uni-trier.de

Aleksy Schubert

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEAleksy Schubert: On the building of affine retractions. Mathematical Structures in Computer Science 18(4): 753-793 (2008)
2007
10EEChristian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert: Immutable Objects for a Java-Like Language. ESOP 2007: 347-362
9EEPatryk Czarnik, Aleksy Schubert: Extending Operational Semantics of the Java Bytecode. TGC 2007: 57-72
2005
8EEAleksy Schubert: A Self-dependency Constraint in the Simply Typed Lambda Calculus. FCT 2005: 352-364
7 Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert: KOTEK: Clustering Of The Enterprise Code. Software Engineering: Evolution and Emerging Technologies 2005: 412-417
2004
6EEAleksy Schubert: On the Building of Affine Retractions. CSL 2004: 205-219
2001
5EEAleksy Schubert: The Complexity of beta-Reduction in Low Orders. TLCA 2001: 400-414
2000
4EEAleksy Schubert: Type Inference for First-Order Logic. FoSSaCS 2000: 297-313
3EEKen-etsu Fujita, Aleksy Schubert: Partially Typed Terms between Church-Style and Curry-Style. IFIP TCS 2000: 505-520
1998
2EEAleksy 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

Coauthor Index

1Jacek Chrzaszcz [7]
2Patryk Czarnik [9]
3Ken-etsu Fujita [3]
4Andrzej Gasienica-Samek [7]
5Christian Haack [10]
6Erik Poll [10]
7Jan Schäfer [10]
8Tomasz Stachowicz [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)