A type system of logic objects

doi:10.1145/307903.307926

A type system of logic objects

Full Text:

Pdf

Buy this Article

Author:

Dianxiang Xu

State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210093, RR. China

Published in:

	· Newsletter
	ACM SIGPLAN Notices Homepage archive
	Volume 34 Issue 2, Feb. 1999 Pages 52 - 56 ACM New York, NY, USA table of contents doi>10.1145/307903.307926

	1999 Article
Bibliometrics
· Downloads (6 Weeks): 0 · Downloads (12 Months): 1 · Downloads (cumulative): 75 · Citation Count: 0

Tools and Resources

Buy this Article
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Share:

|

Tags: algorithms design inheritance languages logic and constraint programming logic programming logic programming logic programming object-oriented programming performance theory type

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder