Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2006: Venice, Italy
- Annalisa Bossi, Michael J. Maher:
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy. ACM 2006, ISBN 1-59593-388-3 - Mikkel Bundgaard, Vladimiro Sassone:
Typed polyadic pi-calculus in bigraphs. 1-12 - Thom W. Frühwirth:
Constraint handling rules: the story so far. 13-14
Design patterns
- Coen De Roover, Johan Brichau, Theo D'Hondt:
Combining fuzzy logic and behavioral similarity for non-strict program validation. 15-26
Net technologies
- Michael Hanus
:
Type-oriented construction of web user interfaces. 27-38 - Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali:
An abductive framework for a-priori verification of web services. 39-50 - Dario Colazzo, Carlo Sartiani:
An efficient algorithm for XML type projection. 51-60 - Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
BASS: boxed ambients with safe sessions. 61-72
Types
- Robin Abraham, Martin Erwig:
Type inference for spreadsheets. 73-84 - Tom Schrijvers, Maurice Bruynooghe:
Polymorphic algebraic data type reconstruction. 85-96 - Martin Sulzmann:
Extracting programs from type class proofs. 97-108
Language issues
- Ricardo Caferra, Rachid Echahed, Nicolas Peltier:
Rewriting term-graphs with priority. 109-120 - Isabelle Gnaedig, Hélène Kirchner:
Computing constructor forms with non terminating rewrite programs. 121-132 - Andres Löh, Ralf Hinze:
Open data types and open functions. 133-144 - Maribel Fernández, Fabien Fleutot:
A historic functional and object-oriented calculus. 145-156
Analysis and debugging
- Josep Silva, Olaf Chitil:
Combining algorithmic debugging and program slicing. 157-166 - Tobias Lindahl, Konstantinos Sagonas:
Practical type inference based on success typings. 167-178 - Dale Miller:
Collection analysis for Horn clause programs. 179-188
Meta-level Reasoning
- Murdoch Gabbay, Aad Mathijssen:
One-and-a-halfth-order logic. 189-200 - Yosihiro Yuse, Atsushi Igarashi:
A modal type system for multi-level generating extensions with persistent code. 201-212 - Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Inferring dynamic credentials for rôle-based trust management. 213-224
Compilation
- Eugen-Nicolae Volanschi:
Condate: a proto-language at the confluence between checking and compiling. 225-236 - Huu-Duc Nguyen, Atsushi Ohori:
Compiling ML polymorphism with explicit layout bitmap. 237-248 - Yutaka Matsuno, Atsushi Ohori:
A type system equivalent to static single assignment. 249-260 - Germán Puebla, Claudio Ochoa:
Poly-controlled partial evaluation. 261-271
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
