skip to main content
10.1145/351268acmconferencesBook PagePublication PagesppdpConference Proceedingsconference-collections
PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM2000 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
PPDP00: International Conference on Principles and Practice of Declarative Programming Montreal Quebec Canada September 20 - 23, 2000
ISBN:
978-1-58113-265-6
Published:
01 September 2000
Sponsors:

Reflects downloads up to 17 Feb 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
Article
Free
Article
Free
Article
Free
Article
Free
Declarative event-oriented programming
Article
Free
Linear logic programming with an ordered context
Article
Free
Article
Free
Article
Free
Article
Free
A precise type analysis of logic programs

This paper presents a new type analysis for logic programs. The type information in a set of substitutions is described by a disjunction of variable typings each of which maps a variable to a non-deterministic regular type. The use of non-deterministic ...

Article
Free
Article
Free
Article
Free
Symmetric monoidal sketches
Article
Free
Contributors
  • University of Bologna
  • Carnegie Mellon University

Recommendations

Acceptance Rates

PPDP '00 Paper Acceptance Rate 26 of 65 submissions, 40%;
Overall Acceptance Rate 230 of 486 submissions, 47%
YearSubmittedAcceptedRate
PPDP '19451942%
PPDP '18392256%
PPDP '17281864%
PPDP '16371746%
PPDP '14432251%
PPDP '10572137%
PPDP '08482450%
PPDP '03482450%
PPDP '02361850%
PPDP '01401948%
PPDP '00652640%
Overall48623047%