Parametric order-sorted types in logic programming-Reference-Cited by-同舟云学术

Parametric order-sorted types in logic programming

Published:1991 Issue: Volume: Page:181-200
ISSN:0302-9743
Container-title:TAPSOFT '91
language:
Short-container-title:

Author:

Hanus Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3540539816_67.pdf

Reference31 articles.

1. K.R. Apt and M.H. van Emden. Contributions to the Theory of Logic Programming. Journal of the ACM, Vol. 29, No. 3, pp. 841–862, 1982.

2. P.G. Bosco and E. Giovannetti. IDEAL: An Ideal Deductive Applicative Language. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 89–94, Salt Lake City, 1986.

3. R. Barbuti and R. Giacobazzi. A Bottom-Up Polymorphic Type Inference in Logic Programming. Technical Report 27/89, Dip. di Informatica, Università di Pisa, 1989.

4. M.H.M. Cheng, M.H. van Emden, and B.E. Richards. On Warren's Method for Functional Programming in Logic. Report LP-12 DCS-122-IR, Univ. of Victoria, 1989.

5. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. acm computing surveys, Vol. 17, No. 4, pp. 471–523, 1985.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Java Type Unification with Wildcards;Lecture Notes in Computer Science;2009

2. A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming1 1Part of the research reported here was supported by the Deutsche Forschungsgemeinschaft (DFG) under grant Be 1700/3-1.;Electronic Notes in Theoretical Computer Science;1999

3. Using Types as Approximations for Type Checking Prolog Programs;Functional and Logic Programming;1999

4. Improving Computations in a Typed Functional Logic Language;Algebraic Methodology and Software Technology;1998

5. Lazy narrowing with parametric order sorted types;Algebraic and Logic Programming;1997