|
Conferences in DBLP
- Mikkel Bundgaard, Vladimiro Sassone
Typed polyadic pi-calculus in bigraphs. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:1-12 [Conf]
- Thom W. Frühwirth
Constraint handling rules: the story so far. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:13-14 [Conf]
- Coen De Roover, Johan Brichau, Theo D'Hondt
Combining fuzzy logic and behavioral similarity for non-strict program validation. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:15-26 [Conf]
- Michael Hanus
Type-oriented construction of web user interfaces. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:27-38 [Conf]
- Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
An abductive framework for a-priori verification of web services. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:39-50 [Conf]
- Dario Colazzo, Carlo Sartiani
An efficient algorithm for XML type projection. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:51-60 [Conf]
- Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
BASS: boxed ambients with safe sessions. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:61-72 [Conf]
- Robin Abraham, Martin Erwig
Type inference for spreadsheets. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:73-84 [Conf]
- Tom Schrijvers, Maurice Bruynooghe
Polymorphic algebraic data type reconstruction. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:85-96 [Conf]
- Martin Sulzmann
Extracting programs from type class proofs. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:97-108 [Conf]
- Ricardo Caferra, Rachid Echahed, Nicolas Peltier
Rewriting term-graphs with priority. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:109-120 [Conf]
- Isabelle Gnaedig, Hélène Kirchner
Computing constructor forms with non terminating rewrite programs. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:121-132 [Conf]
- Andres Löh, Ralf Hinze
Open data types and open functions. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:133-144 [Conf]
- Maribel Fernández, Fabien Fleutot
A historic functional and object-oriented calculus. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:145-156 [Conf]
- Josep Silva, Olaf Chitil
Combining algorithmic debugging and program slicing. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:157-166 [Conf]
- Tobias Lindahl, Konstantinos F. Sagonas
Practical type inference based on success typings. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:167-178 [Conf]
- Dale Miller
Collection analysis for Horn clause programs. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:179-188 [Conf]
- Murdoch Gabbay, Aad Mathijssen
One-and-a-halfth-order logic. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:189-200 [Conf]
- Yosihiro Yuse, Atsushi Igarashi
A modal type system for multi-level generating extensions with persistent code. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:201-212 [Conf]
- Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Inferring dynamic credentials for rôle-based trust management. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:213-224 [Conf]
- Eugen-Nicolae Volanschi
Condate: a proto-language at the confluence between checking and compiling. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:225-236 [Conf]
- Huu-Duc Nguyen, Atsushi Ohori
Compiling ML polymorphism with explicit layout bitmap. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:237-248 [Conf]
- Yutaka Matsuno, Atsushi Ohori
A type system equivalent to static single assignment. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:249-260 [Conf]
- Germán Puebla, Claudio Ochoa
Poly-controlled partial evaluation. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:261-271 [Conf]
|