Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595933883

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extracting programs from type class proofs

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140348 ◽

2006 ◽

Cited By ~ 2

Author(s):

Martin Sulzmann

Download Full-text

Computing constructor forms with non terminating rewrite programs

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140351 ◽

2006 ◽

Cited By ~ 7

Author(s):

Isabelle Gnaedig ◽

Hélène Kirchner

Download Full-text

Combining fuzzy logic and behavioral similarity for non-strict program validation

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140339 ◽

2006 ◽

Cited By ~ 2

Author(s):

Coen De Roover ◽

Johan Brichau ◽

Theo D'Hondt

Keyword(s):

Fuzzy Logic ◽

Behavioral Similarity ◽

Program Validation

Download Full-text

Open data types and open functions

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140352 ◽

2006 ◽

Cited By ~ 12

Author(s):

Andres Löh ◽

Ralf Hinze

Keyword(s):

Open Data ◽

Data Types

Download Full-text

A modal type system for multi-level generating extensions with persistent code

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140360 ◽

2006 ◽

Cited By ~ 14

Author(s):

Yosihiro Yuse ◽

Atsushi Igarashi

Keyword(s):

Type System ◽

Multi Level ◽

Modal Type

Download Full-text

Collection analysis for Horn clause programs

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140357 ◽

2006 ◽

Author(s):

Dale Miller

Keyword(s):

Horn Clause

Download Full-text

BASS

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140344 ◽

2006 ◽

Cited By ~ 13

Author(s):

Pablo Garralda ◽

Adriana Compagnoni ◽

Mariangiola Dezani-Ciancaglini

Download Full-text

Polymorphic algebraic data type reconstruction

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140347 ◽

2006 ◽

Cited By ~ 3

Author(s):

Tom Schrijvers ◽

Maurice Bruynooghe

Keyword(s):

Data Type ◽

Type Reconstruction

Download Full-text

Type inference for spreadsheets

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140346 ◽

2006 ◽

Cited By ~ 14

Author(s):

Robin Abraham ◽

Martin Erwig

Keyword(s):

Type Inference

Download Full-text

A type system equivalent to static single assignment

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 ◽

10.1145/1140335.1140365 ◽

2006 ◽

Cited By ~ 4

Author(s):

Yutaka Matsuno ◽

Atsushi Ohori

Keyword(s):

Type System ◽

Static Single Assignment ◽

Single Assignment

Download Full-text

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Extracting programs from type class proofs

Computing constructor forms with non terminating rewrite programs

Combining fuzzy logic and behavioral similarity for non-strict program validation

Open data types and open functions

A modal type system for multi-level generating extensions with persistent code

Collection analysis for Horn clause programs

BASS

Polymorphic algebraic data type reconstruction

Type inference for spreadsheets

A type system equivalent to static single assignment

Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06
Latest Publications