TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP

Emmanuel Coquery; François Fages

doi:10.1007/3-540-45619-8_42

TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP

INRIA Rocquencourt

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Logic Programming - 18th International Conference, ICLP 2002, Proceedings
Editors	Peter J. Stuckey
Publisher	Springer Verlag
Pages	480
Number of pages	1
ISBN (Print)	3540439307, 9783540439301
DOIs	https://doi.org/10.1007/3-540-45619-8_42
Publication status	Published - 1 Jan 2002
Externally published	Yes
Event	18th International Conference on Logic Programming, ICLP 2002 - Copenhagen, Denmark Duration: 29 Jul 2002 → 1 Aug 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2401 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th International Conference on Logic Programming, ICLP 2002
Country/Territory	Denmark
City	Copenhagen
Period	29/07/02 → 1/08/02

Access to Document

10.1007/3-540-45619-8_42

Cite this

Coquery, E., & Fages, F. (2002). TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. In P. J. Stuckey (Ed.), Logic Programming - 18th International Conference, ICLP 2002, Proceedings (pp. 480). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2401 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-45619-8_42

Coquery, Emmanuel ; Fages, François. / TCLP : Overloading, subtyping and parametric polymorphism made practical for CLP. Logic Programming - 18th International Conference, ICLP 2002, Proceedings. editor / Peter J. Stuckey. Springer Verlag, 2002. pp. 480 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4bf44392bd92416896f8c2b066e0f17b,

title = "TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP",

author = "Emmanuel Coquery and Fran{\c c}ois Fages",

year = "2002",

month = jan,

day = "1",

doi = "10.1007/3-540-45619-8\_42",

language = "English",

isbn = "3540439307",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "480",

editor = "Stuckey, \{Peter J.\}",

booktitle = "Logic Programming - 18th International Conference, ICLP 2002, Proceedings",

note = "18th International Conference on Logic Programming, ICLP 2002 ; Conference date: 29-07-2002 Through 01-08-2002",

}

Coquery, E & Fages, F 2002, TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. in PJ Stuckey (ed.), Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2401 LNCS, Springer Verlag, pp. 480, 18th International Conference on Logic Programming, ICLP 2002, Copenhagen, Denmark, 29/07/02. https://doi.org/10.1007/3-540-45619-8_42

TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. / Coquery, Emmanuel; Fages, François.
Logic Programming - 18th International Conference, ICLP 2002, Proceedings. ed. / Peter J. Stuckey. Springer Verlag, 2002. p. 480 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2401 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - TCLP

T2 - 18th International Conference on Logic Programming, ICLP 2002

AU - Coquery, Emmanuel

AU - Fages, François

PY - 2002/1/1

Y1 - 2002/1/1

U2 - 10.1007/3-540-45619-8_42

DO - 10.1007/3-540-45619-8_42

M3 - Conference contribution

AN - SCOPUS:84888230649

SN - 3540439307

SN - 9783540439301

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 480

BT - Logic Programming - 18th International Conference, ICLP 2002, Proceedings

A2 - Stuckey, Peter J.

PB - Springer Verlag

Y2 - 29 July 2002 through 1 August 2002

ER -

Coquery E, Fages F. TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. In Stuckey PJ, editor, Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Springer Verlag. 2002. p. 480. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45619-8_42