\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Abadi \bgroup et al.\egroup }{89}]{ACPP90}
M. Abadi, L. Cardelli, B.~C. Pierce und G.D. Plotkin.
\newblock {\em Dynamic Typing in a Statically Typed Language}.
\newblock Technical Report~47, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, Juni 1989.

\bibitem[\protect\citeauthoryear{Abadi \bgroup et al.\egroup }{90}]{ACCL90}
M. Abadi, L. Cardelli, P.-L. Curien und J.-J. L{\'e}vy.
\newblock {\em Explicit Substitutions}.
\newblock Technical Report~54, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, Februar 1990.

\bibitem[\protect\citeauthoryear{Abadi \bgroup et al.\egroup }{92}]{ACPR92}
M. Abadi, L. Cardelli, B. Pierce und D. R\'emy.
\newblock {\em Dynamic Typing in Polymorphic Languages}.
\newblock In: {\em Proceedings of the ACM SIGPLAN Workshop on ML and its
  Applications}, Juni 1992.

\bibitem[\protect\citeauthoryear{Albano \bgroup et al.\egroup }{85}]{ACO85}
A. Albano, L. Cardelli und Orsini R.
\newblock {\em Galileo: A Strongly-Typed, Interactive Conceptual Language}.
\newblock ACM Transactions on Database Systems, Jg. 10, 1985, Nr. 2, S.
  230--260.

\bibitem[\protect\citeauthoryear{Albano \bgroup et al.\egroup }{91}]{AGO91}
A. Albano, G. Ghelli und R. Orsini.
\newblock {\em A Relationship Mechanism for a Strongly Typed Object-Oriented
  Database Programming Language}.
\newblock In: {\em Proceedings of the Seventeenth International Conference on
  Very Large Databases}, 1991, S. 565--575.

\bibitem[\protect\citeauthoryear{Appel \bgroup et al.\egroup }{93}]{ML93}
Andrew Appel, Lal George, David MacQueen und John Reppy.
\newblock {\em Standard {ML} of New Jersey}.
\newblock AT\&T Bell Laboratories, New Jersey, 1993.

\bibitem[\protect\citeauthoryear{Busch \bgroup et al.\egroup }{93}]{StarView93}
A. Busch, T Kuehnel und A Jahnke.
\newblock {\em {S}tarview 2.0}.
\newblock STAR DIVISION, Hamburg, 1993.

\bibitem[\protect\citeauthoryear{Bussche \bgroup et al.\egroup }{92}]{BGV92}
J.~Van~den Bussche, D.~Van Gucht und G. Vossen.
\newblock {\em Reflective Programming in the Relational Algebra}.
\newblock Technical Report 9210, Justus-Liebig-Universit"at Giessen, 1992.

\bibitem[\protect\citeauthoryear{Cardelli \bgroup et al.\egroup }{94}]{CMA94a}
L. Cardelli, F. Matthes und M. Abadi.
\newblock {\em Extensible Syntax with Lexical Scoping}.
\newblock Technical Report 121, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, Februar 1994.

\bibitem[\protect\citeauthoryear{Cardelli, Wegner}{85}]{CaWe85}
L. Cardelli und P. Wegner.
\newblock {\em On Understanding Types, Data Abstraction, and Polymorphism}.
\newblock ACM Computing Surveys, Jg. 17, Dezember 1985, Nr. 4, S. 471--522.

\bibitem[\protect\citeauthoryear{Cardelli}{86}]{Card86}
L. Cardelli.
\newblock {\em Amber}.
\newblock In: {\em Combinators and Functional Programming Languages}, Lecture
  Notes in Computer Science, Bd. 242. Springer-Verlag, 1986.

\bibitem[\protect\citeauthoryear{Cardelli}{89}]{Card89}
L. Cardelli.
\newblock {\em Typeful Programming}.
\newblock Technical Report~45, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, Mai 1989.

\bibitem[\protect\citeauthoryear{Connor \bgroup et al.\egroup }{94}]{CCK*94}
R. Connor, Q. Cutts, G.N.C. Kirby, V.S. Moore und R. Morrison.
\newblock {\em Unifying Interaction with Persistent Data and Program}.
\newblock In: {\em 2nd International Workshop on User Interfaces to Databases},
  Ambleside, Cumbria, 1994, S. 185--200.

\bibitem[\protect\citeauthoryear{Cooper, Kirby}{94}]{CK94}
Richard Cooper und G.N.C. Kirby.
\newblock {\em Type-Safe Linguistic Run-time Reflection: A Practical
  Perspective}.
\newblock FIDE Technical Report Series FIDE/94/108, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1994.

\bibitem[\protect\citeauthoryear{Cutts}{92}]{Cut92}
Q.I. Cutts.
\newblock {\em Delivering the Benefits of Persistence to System Construction
  and Execution}.
\newblock Dissertation, University of St Andrews, 1992.

\bibitem[\protect\citeauthoryear{da Silva}{95}]{daSilva95}
Miguel~Mira da Silva.
\newblock {\em Automating Type-safe RPC}.
\newblock FIDE Technical Report Series FIDE/95/114, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1995.

\bibitem[\protect\citeauthoryear{DCE}{93}]{DCE90}
{\em OSF DCE Application Development Guide}. Prentice Hall, 1993.

\bibitem[\protect\citeauthoryear{{de~Bruijn}}{72}]{deBr72}
N.G. {de~Bruijn}.
\newblock {\em Lambda-calculus notation with nameless dummies: a tool for
  automatic formula manipulation with application to the {Church-Rosser}
  theorem}.
\newblock Indag.~Math., Jg. 34, 1972, Nr. 5, S. 381--392.

\bibitem[\protect\citeauthoryear{Dearle \bgroup et al.\egroup }{89}]{DCBM89}
A. Dearle, R. Connor, F. Brown und R. Morrison.
\newblock {\em {Napier88} -- A Database Programming Language?}
\newblock In: {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Portland, Oregon}, Juni 1989.

\bibitem[\protect\citeauthoryear{Dearle \bgroup et al.\egroup }{90}]{DCK90}
A. Dearle, Q.I. Cutts und G.N.C. Kirby.
\newblock {\em Browsing, Grazing and Nibbling Persistent Data Structures}.
\newblock In: J. Rosenberg und D.M. Koch (Hrsg.). {\em Persistent Object
  Systems}. Springer-Verlag, 1990, S. 56--69.

\bibitem[\protect\citeauthoryear{Dearle \bgroup et al.\egroup }{92}]{DCC92}
A. Dearle, Q.I. Cutts und R.C.H. Connor.
\newblock {\em An Application Architecture using Type-Safe Incremental
  Linking}.
\newblock FIDE Technical Report Series FIDE/92/56, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1992.

\bibitem[\protect\citeauthoryear{Dearle}{88}]{Dea88}
A. Dearle.
\newblock {\em On the Construction of Persistent Programming Environments}.
\newblock Dissertation, University of St Andrews, Maerz 1988.

\bibitem[\protect\citeauthoryear{Dearle}{89}]{Dea89}
A. Dearle.
\newblock {\em Environments: a flexible binding mechanism to support system
  evolution}.
\newblock In: {\em Proc. HICSS-22, Hawaii}, Bd.~II, Januar 1989, S. 46--55.

\bibitem[\protect\citeauthoryear{Ellis, Stroustrup}{90}]{ARM90}
M.A. Ellis und B. Stroustrup.
\newblock {\em The Annotated {C}++ Reference Manual}.
\newblock Addison-Wesley, 1990.

\bibitem[\protect\citeauthoryear{Farkas \bgroup et al.\egroup }{92}]{FDK*92}
A. Farkas, A. Dearle, G.~N.~C. Kirby, Q.~I. Cutts, R. Morrison und R.~C.~H.
  Connor.
\newblock {\em Persistent Program Construction through Browsing and User
  Gesture with some Typing}.
\newblock Technical Report CS/92/52, University of St Andrews, 1992.

\bibitem[\protect\citeauthoryear{Gawecki, Matthes}{94}]{GaMa94}
A. Gawecki und F. Matthes.
\newblock {\em The Tycoon Machine Language TML: An Optimizable Persistent
  Program Representation}.
\newblock FIDE Technical Report FIDE/94/100, Fachbereich Informatik,
  Universit\"at Hamburg, Deutschland, August 1994.

\bibitem[\protect\citeauthoryear{Gawecki, Matthes}{95}]{GaMa95a}
A. Gawecki und F. Matthes.
\newblock {\em TooL: A Persistent Language Integrating Subtyping, Matching and
  Type Quantification}.
\newblock (Zur Ver"offentlichung freigegeben.), Mai 1995.

\bibitem[\protect\citeauthoryear{Glasgow}{88}]{PPRG88}
{\em PS-algol Reference Manual, 4th edition}, nr. PPRR-12-88. Persistent
  Programming Research Group, 1988.

\bibitem[\protect\citeauthoryear{Goldberg, Robson}{89}]{GoRo89}
Adele Goldberg und David Robson.
\newblock {\em Smalltalk-80: The Language}.
\newblock Addison-Wesley Publishing Company, 1989.

\bibitem[\protect\citeauthoryear{Gotthard, Lockemann}{85}]{GL85}
W. Gotthard und C. Lockemann.
\newblock {\em Datenbanksysteme f"ur Software-Produktionsumgebungen --
  Anforderungen und Konzepte}.
\newblock In: {\em Methoden und Werkzeuge zur Entwicklung von
  Programmsystemen}, 1985, S. 185--210.

\bibitem[\protect\citeauthoryear{H"arder}{87}]{haerder:87}
Theo H"arder.
\newblock {\em {Behandlung von ad hoc-Anfragen}}.
\newblock In: P.C. Lockemann und J.W. Schmidt (Hrsg.). {\em Datenbankhandbuch}.
  Springer, Berlin, 1987, Ch. 3.6.8.2, S. 330--335.

\bibitem[\protect\citeauthoryear{Heuer}{92}]{heuer:92}
Andreas Heuer.
\newblock {\em Objektorientierte Datenbanken}.
\newblock Addison--Wesley (Deutschland) GmbH, Bonn, 1992.

\bibitem[\protect\citeauthoryear{Horning \bgroup et al.\egroup }{93}]{M3Bibs}
J. Horning, B. Kalsow, P. McJones und G. Nelson.
\newblock {\em Some useful {M}odula-3 Interfaces}.
\newblock Technical Report 113, Digital Equipment Corporation, Systems Research
  Center, Palo Alto, California, 1993.

\bibitem[\protect\citeauthoryear{Ingres}{90}]{ingres}
Ingres Corp.
\newblock {\em Application Editor User's Guide for INGRES/Windows 4GL for the
  UNIX and VMS Operation Systems}, Alameda, 1990. Ingres Corp.

\bibitem[\protect\citeauthoryear{Jansen \bgroup et al.\egroup }{94}]{ILU94}
B. Jansen, D. Severson und M. Spreitzer.
\newblock \glqq ILU 1.6.4. Reference Manual\grqq .
\newblock ftp, May 1994.

\bibitem[\protect\citeauthoryear{Kirby \bgroup et al.\egroup }{92}]{KCC*92}
G.N.C. Kirby, R.C.H. Connor, Q.I. Cutts, R. Morrison, A. Dearle und A.M.
  Farkas.
\newblock {\em Persistent Hyper-Programs}.
\newblock In: A. Albano und R. Morrison (Hrsg.). {\em Proc. 5th International
  Workshop on Persistent Object Systems, San Milano, Italien}. Springer-Verlag,
  1992, S. 86--106.

\bibitem[\protect\citeauthoryear{Kirby \bgroup et al.\egroup }{93}]{KCCM93}
G.N.C. Kirby, Q.I. Cutts, R.C.H. Connor und R. Morrison.
\newblock {\em The Implementation of a Hyper-Programming System}.
\newblock Technical Report CS/93/5, University of St Andrews, 1993.

\bibitem[\protect\citeauthoryear{Kirby \bgroup et al.\egroup }{94a}]{Mor*94a}
 Kirby,  Brown,  Connnor,  Cutts,  Dearle,  Moore,  Morrison und  Munro.
\newblock {\em The Napier88 Standard Library Reference Manual (Version 2.2)}.
\newblock FIDE Technical Report Series FIDE/94/105, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1994.

\bibitem[\protect\citeauthoryear{Kirby \bgroup et al.\egroup }{94b}]{START}
G.N.C. Kirby, R.C.H. Connor und R. Morrison.
\newblock {\em START: A Linguistic Reflection Tool Using Hyper-Program
  Technology}.
\newblock FIDE Technical Report Series FIDE/94/96, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1994.

\bibitem[\protect\citeauthoryear{Kirby, Dearle}{90}]{KD90}
G.N.C. Kirby und A. Dearle.
\newblock {\em An Adaptive Graphical Browser for Napier88}.
\newblock Technical Report CS/90/16, University of St Andrews, 1990.

\bibitem[\protect\citeauthoryear{Kirby}{92a}]{Kir92}
G.~N.~C. Kirby.
\newblock {\em Reflection and Hyper-Programming in Persistent Programming
  Systems}.
\newblock Dissertation, University of St Andrews, 1992.

\bibitem[\protect\citeauthoryear{Kirby}{92b}]{Kir92a}
G.N.C. Kirby.
\newblock {\em Persistent Programming with Strongly Typed Linguistic
  Reflection}.
\newblock FIDE Technical Report Series FIDE/92/40, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1992.

\bibitem[\protect\citeauthoryear{Knuth}{92}]{knuth:92}
Donald~E. Knuth.
\newblock {\em Literate Programming}.
\newblock {Center for the Study of Language and Information}, Leland Stanford
  Junior University, 1992.

\bibitem[\protect\citeauthoryear{Leroy, Mauny}{91}]{LM91}
X. Leroy und M. Mauny.
\newblock {\em Dynamics in ML}.
\newblock Rapport de Recherche 1491, INRIA, Domaine de Voluceau, Rocquencourt
  78153 Le Chesnay Cedex, France, Juli 1991.

\bibitem[\protect\citeauthoryear{LSE}{87}]{LSE87}
{\em Guide to VAX Language-Sensitive Editor}, M"unchen, 1987.

\bibitem[\protect\citeauthoryear{Mandelkern}{93}]{Man93}
D. Mandelkern.
\newblock {\em Graphical User Interfaces: The Next Generation}.
\newblock Communications of the ACM, Jg. 36, 1993, Nr. 4, S. 36--39.

\bibitem[\protect\citeauthoryear{Martin}{91}]{Mar91}
Bruce Martin.
\newblock {\em The Separation of Interface and Implementation in {C}++}.
\newblock In: {\em Usenix Association C++ Conference}, 1991, S. 51--63.

\bibitem[\protect\citeauthoryear{Maslo, Dittrich}{93}]{MD93}
P. Maslo und St. Dittrich.
\newblock {\em Das gro"se Buch zu VisualBASIC 3.0 f"ur Windows}.
\newblock Data Becker, D"usseldorf, 1993.

\bibitem[\protect\citeauthoryear{Mathiske \bgroup et al.\egroup }{93}]{MMM93}
B. Mathiske, F. Matthes und S. M{\"u}{\ss}ig.
\newblock {\em The {T}ycoon {S}ystem and {L}ibrary {M}anual}.
\newblock DBIS Tycoon Report 212-93, Fachbereich Informatik, Universit\"at
  Hamburg, Deutschland, Dezember 1993.

\bibitem[\protect\citeauthoryear{Mathiske \bgroup et al.\egroup }{95a}]{MMS95a}
B. Mathiske, F. Matthes und J.W. Schmidt.
\newblock {\em On Migrating Threads}.
\newblock (Accepted for publication.), Juni 1995.

\bibitem[\protect\citeauthoryear{Mathiske \bgroup et al.\egroup }{95b}]{MMS95b}
B. Mathiske, F. Matthes und J.W. Schmidt.
\newblock {\em Scaling Database Languages to Higher-Order Distributed
  Programming}.
\newblock (Submitted for publication.), Maerz 1995.

\bibitem[\protect\citeauthoryear{Matthes \bgroup et al.\egroup }{94}]{MMS94}
F. Matthes, S. M"u"sig und J.W. Schmidt.
\newblock {\em Persistent Polymorphic Programming In Tycoon: An Introduction}.
\newblock FIDE Technical Report Series FIDE/94/106, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1994.

\bibitem[\protect\citeauthoryear{Matthes, Schmidt}{91}]{MaSc91b}
F. Matthes und J.W. Schmidt.
\newblock {\em Bulk Types: Built-In or Add-On?}
\newblock In: {\em Database Programming Languages: Bulk Types and Persistent
  Data}. Morgan Kaufmann Publishers, September 1991.

\bibitem[\protect\citeauthoryear{Matthes, Schmidt}{92}]{MaSc92}
F. Matthes und J.W. Schmidt.
\newblock {\em Definition of the Tycoon Language - A Preliminary Report}.
\newblock DBIS Tycoon Report 062-92, Fachbereich Informatik, Universit\"at
  Hamburg, Deutschland, Oktober 1992.

\bibitem[\protect\citeauthoryear{Matthes, Schmidt}{94}]{MaSc94}
F. Matthes und J.W. Schmidt.
\newblock {\em Persistent Threads}.
\newblock In: {\em Proceedings of the Twentieth International Conference on
  Very Large Data Bases, VLDB}, Santiago, Chile, September 1994, S. 403--414.

\bibitem[\protect\citeauthoryear{Matthes}{93}]{Matt93}
F. Matthes.
\newblock {\em Persistente Objektsysteme: Integrierte Datenbankentwicklung und
  Programmerstellung}.
\newblock Springer-Verlag, 1993.

\bibitem[\protect\citeauthoryear{Matthews}{87}]{Matt87}
D. Matthews.
\newblock {\em Static and Dynamic Type Checking}.
\newblock In: {\em Proceedings of the First International Workshop on Database
  Programming Languages, Roscoff, Finistere, France}, September 1987, S.
  43--52.

\bibitem[\protect\citeauthoryear{McCarthy \bgroup et al.\egroup }{62}]{McC62}
J. McCarthy, P.W. Abrahams, D.J. Edwards, T.P. Hart und M.I. Levin.
\newblock {\em The Lisp Programmars' Manual}.
\newblock MIT Press, Cambridge, Massachusetts, 1962.

\bibitem[\protect\citeauthoryear{Morrison \bgroup et al.\egroup }{90}]{MABD90}
R. Morrison, M.P. Atkinson, A.L. Brown und A. Dearle.
\newblock {\em On the Classification of Binding Mechanisms}.
\newblock Information Processing Letters, Jg. 34, 1990, Nr. 2, S. 51--55.

\bibitem[\protect\citeauthoryear{Morrison \bgroup et al.\egroup }{94}]{MCCK94}
R. Morrison, R.C.H. Connor, Q.I. Cutt und G.N.C. Kirby.
\newblock {\em Persistent Possibilities for Software Environments}.
\newblock FIDE Technical Report Series FIDE/94/92, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1994.

\bibitem[\protect\citeauthoryear{Morrison \bgroup et al.\egroup }{95}]{MCC95}
R. Morrison, R.C.H. Connor, Q.I. Cutts, V.S. Dunstan und G. Kirby.
\newblock {\em Exploiting Persistent Linkage in Software Engineering
  Environments}.
\newblock FIDE Technical Report Series FIDE/95/115, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1995.

\bibitem[\protect\citeauthoryear{Morrison}{94}]{Mor*94}
R.~et~al Morrison.
\newblock {\em The Napier88 Reference Manual (Release 2.0)}.
\newblock FIDE Technical Report Series FIDE/94/104, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  1994.

\bibitem[\protect\citeauthoryear{M\"uller-Jones \bgroup et al.\egroup
  }{95}]{MJML95b}
K. M\"uller-Jones, M. Merz und W. Lamersdorf.
\newblock {\em The TRADEr: Integrating trading into DCE}.
\newblock In: {\em Proceedings of the Third International Conference on Open
  Distributed Processing (ICODP '95), Brisbane, Australia}, Februar 1995.

\bibitem[\protect\citeauthoryear{M"u"sig}{94}]{Mues94}
S. M"u"sig.
\newblock {\em Beitr"age zur typsicheren generischen Datenvisualisierung}.
\newblock Diplomarbeit, Fachbereich Informatik, Universit\"at Hamburg,
  Deutschland, Juli 1994.

\bibitem[\protect\citeauthoryear{OMG}{91}]{OMG91}
{\em The Common Object Request Broker: Architecture and Specification}. Object
  Management Group, Dezember 1991.
\newblock OMG Document Number 91.12.1, Revision 1.1.

\bibitem[\protect\citeauthoryear{Schmidt, Matthes}{93}]{ScMa93}
J.W. Schmidt und F. Matthes.
\newblock {\em Lean Languages and Models: Towards an Interoperable Kernel for
  Persistent Object Systems}.
\newblock In: {\em Proceedings of the IEEE International Workshop on Research
  Issues in Data Engineering, Interoperability in Multidatabase Systems},
  Vienna, Austria, April 1993, S. 2--16.

\bibitem[\protect\citeauthoryear{Schr\"oder, Matthes}{92}]{SchMa92}
G. Schr\"oder und F. Matthes.
\newblock {\em Using the {Tycoon} Compiler Toolkit}.
\newblock DBIS Tycoon Report 061-92, Fachbereich Informatik, Universit\"at
  Hamburg, Deutschland, Mai 1992.

\bibitem[\protect\citeauthoryear{Sheard}{90}]{TRPL90}
T. Sheard.
\newblock {\em A user's guide to {TRPL}: {A} compile-time reflective
  programming language}.
\newblock University of Massachusetts, 1990.

\bibitem[\protect\citeauthoryear{Sj{\o}berg \bgroup et al.\egroup
  }{94}]{SCW*94}
D.I.K. Sj{\o}berg, Q.I. Cutts, R. Welland und M.P. Atkinson.
\newblock {\em Analysing Persistent Language Applications}.
\newblock Technical Report CS/94/109, University of St Andrews, Oslo and
  Glasgow, 1994.

\bibitem[\protect\citeauthoryear{Stemple \bgroup et al.\egroup }{90}]{SFSS90}
D. Stemple, L. Fegaras, T. Sheard und A. Socorro.
\newblock {\em Exceeding the Limits of Polymorphism in Database Programming
  Languages}.
\newblock In: {\em Advances in Database Technology, EDBT'90}, Lecture Notes in
  Computer Science, Bd. 416. Springer-Verlag, 1990, S. 269--285.

\bibitem[\protect\citeauthoryear{Sun}{90}]{SUN90}
{\em Network Programming Guide}, Mountain View, March 1990. Sun Microsystems
  Inc.

\bibitem[\protect\citeauthoryear{Sun}{92}]{Sun92}
Sun Microsystems, Inc.
\newblock {\em OpenWindows Developers's Guide 2.0 User's Guide}, Mountain View,
  1992.

\bibitem[\protect\citeauthoryear{Weis}{90}]{CAML90}
Pierre Weis.
\newblock {\em Dynamics in ML}.
\newblock Technical Report 121, INRIA, Domaine de Voluceau, Rocquencourt 78153
  Le Chesnay Cedex, France, 1990.

\end{thebibliography}
