![]() | ![]() |
2003 | ||
---|---|---|
6 | EE | Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech: PolyTOIL: A type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst. 25(2): 225-290 (2003) |
2002 | ||
5 | EE | Adrian Fiech, David A. Schmidt: Polymorphic lambda calculus and subtyping. Theor. Comput. Sci. 278(1-2): 111-140 (2002) |
1997 | ||
4 | EE | Kim B. Bruce, Leaf Petersen, Adrian Fiech: Subtyping Is Not a Good "Match" for Object-Oriented Languages. ECOOP 1997: 104-127 |
1996 | ||
3 | Adrian Fiech: Colimits in the Category DCPO. Mathematical Structures in Computer Science 6(5): 455-468 (1996) | |
1994 | ||
2 | Adrian Fiech, Michael Huth: Algebraic Domains of Natural Transformations. Theor. Comput. Sci. 136(1): 57-78 (1994) | |
1993 | ||
1 | Adrian Fiech: Category of Delta-Functors. MFPS 1993: 567-586 |
1 | Kim B. Bruce | [4] [6] |
2 | Robert van Gent | [6] |
3 | Michael Huth | [2] |
4 | Leaf Petersen | [4] |
5 | Angela Schuett Reninger (Angela Schuett) | [6] |
6 | David A. Schmidt | [5] |