Annalisa Bossi, Michael J. Maher
Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming
PPDP, 2006.

@proceedings{PPDP-2006,
	address       = "Venice, Italy",
	editor        = "Annalisa Bossi and Michael J. Maher",
	isbn          = "1-59593-388-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming}",
	year          = 2006,
}

Contents (24 items)

3 ×#source code
3 ×#type system
2 ×#algorithm
2 ×#compilation
2 ×#data type
2 ×#logic
2 ×#named
2 ×#polymorphism
2 ×#type inference
2 ×#web

PPDP-2006-BundgaardS #graph #π-calculus

Typed polyadic π-calculus in bigraphs (MB, VS), pp. 1–12.

PPDP-2006-Fruhwirth #constraints

Constraint handling rules: the story so far (TWF), pp. 13–14.

PPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation

Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.

PPDP-2006-Hanus #type system #user interface #web

Type-oriented construction of web user interfaces (MH), pp. 27–38.

PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service

An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.

PPDP-2006-ColazzoS #algorithm #performance #xml

An efficient algorithm for XML type projection (DC, CS), pp. 51–60.

PPDP-2006-GarraldaCD #named

BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.

PPDP-2006-AbrahamE #spreadsheet #type inference

Type inference for spreadsheets (RA, ME), pp. 73–84.

PPDP-2006-SchrijversB #algebra #data type #polymorphism #re-engineering

Polymorphic algebraic data type reconstruction (TS, MB), pp. 85–96.

PPDP-2006-Sulzmann #proving #source code

Extracting programs from type class proofs (MS), pp. 97–108.

PPDP-2006-CaferraEP

Rewriting term-graphs with priority (RC, RE, NP), pp. 109–120.

PPDP-2006-GnaedigK #source code

Computing constructor forms with non terminating rewrite programs (IG, HK), pp. 121–132.

PPDP-2006-LohH #data type #open data

Open data types and open functions (AL, RH), pp. 133–144.

PPDP-2006-FernandezF #calculus #functional #object-oriented

A historic functional and object-oriented calculus (MF, FF), pp. 145–156.

PPDP-2006-SilvaC #algorithm #debugging #slicing

Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.

PPDP-2006-LindahlS #type inference

Practical type inference based on success typings (TL, KFS), pp. 167–178.

PPDP-2006-Miller #analysis #horn clause #source code

Collection analysis for Horn clause programs (DM), pp. 179–188.

PPDP-2006-GabbayM #logic

One-and-a-halfth-order logic (MG, AM), pp. 189–200.

PPDP-2006-YuseI #generative #multi #persistent #type system

A modal type system for multi-level generating extensions with persistent code (YY, AI), pp. 201–212.

PPDP-2006-GorlaHS #trust

Inferring dynamic credentials for rôle-based trust management (DG, MH, VS), pp. 213–224.

PPDP-2006-Volanschi #compilation #confluence #named

Condate: a proto-language at the confluence between checking and compiling (ENV), pp. 225–236.

PPDP-2006-NguyenO #compilation #layout #ml #morphism #polymorphism

Compiling ML polymorphism with explicit layout bitmap (HDN, AO), pp. 237–248.

PPDP-2006-MatsunoO #type system

A type system equivalent to static single assignment (YM, AO), pp. 249–260.

PPDP-2006-PueblaO #partial evaluation

Poly-controlled partial evaluation (GP, CO), pp. 261–271.