| 1. |
Böschen, Christoph ; Fecht, Christian ; Hense, Andreas V. ; Wilhelm, Reinhard
(1994)
An abstract machine for an object-oriented language with top-level classes
Saarbrücken, 1994
Report (Bericht)
|
| 2. |
Hense, Andreas V.
(1994)
Polymorphic type inference for object-oriented programming languages
Dissertation
|
| 3. |
Hense, Andreas V. ; Smolka, Gert
(1993)
Principal types for object-oriented languages
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 4. |
Hense, Andreas V. ; Smolka, Gert
(1992)
A verification of extensible record types
Report (Bericht)
|
| 5. |
Hense, Andreas V.
(1991)
An O´small interpreter based on denotational semantics
Report (Bericht)
|
| 6. |
Hense, Andreas V.
(1991)
Denotational semantics of an object oriented programming language with explicit wrappers
Report (Bericht)
|
| 7. |
Hense, Andreas V.
(1991)
Type inference for O´small
Report (Bericht)
|
| 8. |
Hense, Andreas V.
(1990)
Polymorphic type inference for a simple object oriented programming language with state
Saarbrücken, 1990
Report (Bericht)
|
| 9. |
Hense, Andreas V.
(1990)
The denotational semantics of an object oriented programming language
Report (Bericht)
|
| 10. |
Hense, Andreas V.
(1990)
Wrapper semantics of an object oriented programming language with state
Report (Bericht)
|
