Abstract is missing.
- Typed polyadic pi-calculus in bigraphsMikkel Bundgaard, Vladimiro Sassone. 1-12 [doi]
- Constraint handling rules: the story so farThom W. Frühwirth. 13-14 [doi]
- Combining fuzzy logic and behavioral similarity for non-strict program validationCoen De Roover, Johan Brichau, Theo D'Hondt. 15-26 [doi]
- Type-oriented construction of web user interfacesMichael Hanus. 27-38 [doi]
- An abductive framework for a-priori verification of web servicesMarco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali. 39-50 [doi]
- An efficient algorithm for XML type projectionDario Colazzo, Carlo Sartiani. 51-60 [doi]
- BASS: boxed ambients with safe sessionsPablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini. 61-72 [doi]
- Type inference for spreadsheetsRobin Abraham, Martin Erwig. 73-84 [doi]
- Polymorphic algebraic data type reconstructionTom Schrijvers, Maurice Bruynooghe. 85-96 [doi]
- Extracting programs from type class proofsMartin Sulzmann. 97-108 [doi]
- Rewriting term-graphs with priorityRicardo Caferra, Rachid Echahed, Nicolas Peltier. 109-120 [doi]
- Computing constructor forms with non terminating rewrite programsIsabelle Gnaedig, Hélène Kirchner. 121-132 [doi]
- Open data types and open functionsAndres Löh, Ralf Hinze. 133-144 [doi]
- A historic functional and object-oriented calculusMaribel Fernández, Fabien Fleutot. 145-156 [doi]
- Combining algorithmic debugging and program slicingJosep Silva, Olaf Chitil. 157-166 [doi]
- Practical type inference based on success typingsTobias Lindahl, Konstantinos F. Sagonas. 167-178 [doi]
- Collection analysis for Horn clause programsDale Miller. 179-188 [doi]
- One-and-a-halfth-order logicMurdoch Gabbay, Aad Mathijssen. 189-200 [doi]
- A modal type system for multi-level generating extensions with persistent codeYosihiro Yuse, Atsushi Igarashi. 201-212 [doi]
- Inferring dynamic credentials for rôle-based trust managementDaniele Gorla, Matthew Hennessy, Vladimiro Sassone. 213-224 [doi]
- Condate: a proto-language at the confluence between checking and compilingEugen-Nicolae Volanschi. 225-236 [doi]
- Compiling ML polymorphism with explicit layout bitmapHuu-Duc Nguyen, Atsushi Ohori. 237-248 [doi]
- A type system equivalent to static single assignmentYutaka Matsuno, Atsushi Ohori. 249-260 [doi]
- Poly-controlled partial evaluationGermán Puebla, Claudio Ochoa. 261-271 [doi]