Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581137052

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ViMer

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888258 ◽

2003 ◽

Cited By ~ 5

Author(s):

M. Cameron ◽

M. García de la Banda ◽

K. Marriott ◽

P. Moulder

Download Full-text

Term rewriting with variable binding

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888266 ◽

2003 ◽

Cited By ~ 6

Author(s):

Makoto Hamana

Keyword(s):

Term Rewriting ◽

Variable Binding

Download Full-text

Foundational proof checkers with small witnesses

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888276 ◽

2003 ◽

Cited By ~ 20

Author(s):

Dinghao Wu ◽

Andrew W. Appel ◽

Aaron Stump

Download Full-text

Integrating finite domain constraints and CLP with sets

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888272 ◽

2003 ◽

Cited By ~ 5

Author(s):

A. Dal Palú ◽

A. Dovier ◽

E. Pontelli ◽

G. Rossi

Keyword(s):

Finite Domain ◽

Domain Constraints

Download Full-text

On the rewriting and efficient computation of bound disjunctive datalog queries

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888265 ◽

2003 ◽

Author(s):

Sergio Greco ◽

Ester Zumpano

Keyword(s):

Efficient Computation

Download Full-text

Conditional narrowing without conditions

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888255 ◽

2003 ◽

Cited By ~ 6

Author(s):

Sergio Antoy ◽

Bernd Brassel ◽

Michael Hanus

Keyword(s):

Conditional Narrowing

Download Full-text

Towards a formal notion of trust

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888253 ◽

2003 ◽

Cited By ~ 7

Author(s):

Mogens Nielsen ◽

Karl Krukow

Download Full-text

Simplification and termination of strategies in rule-based languages

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888264 ◽

2003 ◽

Cited By ~ 4

Author(s):

Olivier Fissore ◽

Isabelle Gnaedig ◽

Hélène Kirchner

Keyword(s):

Rule Based

Download Full-text

A framework for typed HOAS and semantics

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888269 ◽

2003 ◽

Cited By ~ 10

Author(s):

Marino Miculan ◽

Ivan Scagnetto

Download Full-text

Rank 2 intersection types for modules

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888259 ◽

2003 ◽

Cited By ~ 2

Author(s):

Ferruccio Damiani

Keyword(s):

Rank 2 ◽

Intersection Types

Download Full-text

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

ViMer

Term rewriting with variable binding

Foundational proof checkers with small witnesses

Integrating finite domain constraints and CLP with sets

On the rewriting and efficient computation of bound disjunctive datalog queries

Conditional narrowing without conditions

Towards a formal notion of trust

Simplification and termination of strategies in rule-based languages

A framework for typed HOAS and semantics

Rank 2 intersection types for modules

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03
Latest Publications