1: \begin{thebibliography}{10}
2:
3: \bibitem{A97}
4: K.~R. Apt.
5: \newblock {\em From Logic Programming to {P}rolog}.
6: \newblock Prentice Hall, 1997.
7:
8: \bibitem{AE93}
9: K.~R. Apt and S.~Etalle.
10: \newblock On the unification free {P}rolog programs.
11: \newblock In A.~Borzyszkowski and S.~Sokolowski, editors, {\em Proceedings of
12: the Conference on Mathematical Foundations of Computer Science}, LNCS, pages
13: 1--19. Springer-Verlag, 1993.
14:
15: \bibitem{AL95}
16: K.~R. Apt and I.~Luitjes.
17: \newblock Verification of logic programs with delay declarations.
18: \newblock In V.~S. Alagar and M.~Nivat, editors, {\em Proceedings of AMAST'95},
19: LNCS, pages 66--90. Springer-Verlag, 1995.
20: \newblock Invited Lecture.
21:
22: \bibitem{B95}
23: C.~Beierle.
24: \newblock Type inferencing for polymorphic order-sorted logic programs.
25: \newblock In L.~Sterling, editor, {\em Proceedings of the Twelfth International
26: Conference on Logic Programming}, pages 765--779. MIT Press, 1995.
27:
28: \bibitem{DH88}
29: R.~Dietrich and F.~Hagl.
30: \newblock A polymorphic type system with subtypes for {P}rolog.
31: \newblock In H.~Ganzinger, editor, {\em Proceedings of the European Symposium
32: on Programming}, LNCS, pages 79--93. Springer-Verlag, 1988.
33:
34: \bibitem{FP98}
35: F.~Fages and M.~Paltrinieri.
36: \newblock A generic type system for {CLP}($\mathcal{X}$).
37: \newblock Technical report, Ecole Normale Sup{\'e}rieure LIENS 97-16, December
38: 1997.
39:
40: \bibitem{Han89}
41: M.~Hanus.
42: \newblock Horn clause programs with polymorphic types: Semantics and
43: resolution.
44: \newblock In J.~D{\'\i}az and F.~Orejas, editors, {\em Proceedings of
45: TAPSOFT'89}, LNCS, pages 225--240. Springer-Verlag, 1989.
46:
47: \bibitem{Han92}
48: M.~Hanus.
49: \newblock {\em Logic Programming with Type Specifications}, chapter~3, pages
50: 91--140.
51: \newblock MIT Press, 1992.
52: \newblock In~\cite{P92}.
53:
54: \bibitem{goedel}
55: P.~M. Hill and J.~W. Lloyd.
56: \newblock {\em {The G{\"o}del Programming Language}}.
57: \newblock MIT Press, 1994.
58:
59: \bibitem{HT92-new}
60: P.~M. Hill and R.~W. Topor.
61: \newblock {\em A Semantics for Typed Logic Programs}, chapter~1, pages 1--61.
62: \newblock MIT Press, 1992.
63: \newblock In~\cite{P92}.
64:
65: \bibitem{LR91}
66: T.K. Lakshman and U.S. Reddy.
67: \newblock Typed {P}rolog: A semantic reconstruction of the
68: {M}ycroft-{O}'{K}eefe type system.
69: \newblock In V.~Saraswat and K.~Ueda, editors, {\em Proceedings of the 1991
70: International Symposium on Logic Programming}, pages 202--217. MIT Press,
71: 1991.
72:
73: \bibitem{MGS96}
74: Martin {M\"uller II}, T.~Gla{\ss}, and K.~Stroetmann.
75: \newblock {PAN} --- the {P}rolog analyzer.
76: \newblock In R.~Cousot and D.~A. Schmidt, editors, {\em Proceedings of the 3rd
77: Static Analysis Symposium}, LNCS, pages 387--388. Springer-Verlag, 1996.
78:
79: \bibitem{MO84}
80: A.~Mycroft and R.~O'Keefe.
81: \newblock A polymorphic type system for {P}rolog.
82: \newblock {\em Artificial Intelligence}, 23:295--307, 1984.
83:
84: \bibitem{NP92}
85: G.~Nadathur and F.~Pfenning.
86: \newblock {\em Types in Higher-Order Logic Programming}, chapter~9, pages
87: 245--283.
88: \newblock MIT Press, 1992.
89: \newblock In \cite{P92}.
90:
91: \bibitem{P92}
92: F.~Pfenning, editor.
93: \newblock {\em Types in Logic Programming}.
94: \newblock MIT Press, 1992.
95:
96: \bibitem{smaus-thesis}
97: J.-G. Smaus.
98: \newblock {\em Modes and Types in Logic Programming}.
99: \newblock PhD thesis, University of Kent at Canterbury, 1999.
100:
101: \bibitem{S99}
102: J.-G. Smaus.
103: \newblock Proving termination of input-consuming logic programs.
104: \newblock In D.~De Schreye, editor, {\em Proceedings of the 16th International
105: Conference on Logic Programming}, pages 335--349. MIT Press, 1999.
106:
107: \bibitem{SFD00}
108: J.-G. Smaus, F.~Fages, and P.~Deransart.
109: \newblock Using modes to ensure subject reduction for typed logic programs with
110: subtyping.
111: \newblock In S.~Kapoor and S.~Prasad, editors, {\em Proceedings of the 20th
112: Conference on the Foundations of Software Technology and Theoretical Computer
113: Science}, LNCS. Springer-Verlag, 2000.
114: \newblock To appear.
115:
116: \bibitem{mercury}
117: Z.~Somogyi, F.~Henderson, and T.~Conway.
118: \newblock The execution algorithm of {Mercury}, an efficient purely declarative
119: logic programming language.
120: \newblock {\em Journal of Logic Programming}, 29(1--3):17--64, 1996.
121:
122: \bibitem{SG95}
123: K.~Stroetmann and T.~Gla{\ss}.
124: \newblock A semantics for types in {P}rolog: The type system of {P}{\sc an}
125: version 2.0.
126: \newblock Technical report, Siemens {AG}, {ZFE} {T} {SE} 1, 81730 M{\"u}nchen,
127: Germany, 1995.
128:
129: \bibitem{Tho91}
130: Simon Thompson.
131: \newblock {\em Type Theory and Functional Programming}.
132: \newblock Addison-Wesley, 1991.
133:
134: \end{thebibliography}
135: