| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
On Global Types and Multi-Party Session  |
Logical Methods in Computer Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
Optimizing XML querying using type-based document projection |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
On Global Types and Multi-party Sessions. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Zhiwu Xu |
Set-theoretic foundation of parametric polymorphism and subtyping. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Tang Boyland, Giuseppe Castagna |
Preface. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti |
Preface. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
Parametric polymorphism for XML. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A theory of contracts for Web services. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory |
| 1 | Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren |
XML Typechecking. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Luca Padovani |
Contracts for Mobile Processes. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
Foundations of session types. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
communication centered programming, semantic subtyping, testing equivalencies, concurrency, sessions types |
| 1 | Giuseppe Castagna (eds.) |
Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
Semantic subtyping for the pi-calculus. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
negation types, Subtyping, higher-order functions, intersection types, union types |
| 1 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A theory of contracts for web services. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
explicit coercions, must testing, web services, contracts, subtyping, type theory, CCS, concurrency theory |
| 1 | Giuseppe Castagna, Kim Nguyen |
Typed iterators for XML. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
XML, polymorphism, iterators, subtyping |
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon |
Pattern by example: type-driven visual programming of XML queries. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
functional programming, type systems, visual programming, database programming languages |
| 1 | Giuseppe Castagna, Kim Nguyen |
Typed Iterators for XML. |
PLAN-X |
2008 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon |
Pattern by Example: type-driven visual programming of XML queries. |
BDA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A Theory of Contracts for Web Services. |
PLAN-X |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrew Phillips, Luca Cardelli, Giuseppe Castagna |
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
Encoding CDuce in the Cpi-Calculus. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani |
A Formal Account of Contracts for Web Services. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
Type-Based XML Projection. |
BDA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
Type-Based XML Projection. |
VLDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mukund Raghavachari (eds.) |
PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006 |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli |
The Seal Calculus. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Cédric Miachon |
A Full Pattern-Based Paradigm for XML Query Processing. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Dario Colazzo, Alain Frisch |
Error Mining for Regular Expression Patterns. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna |
Semantic Subtyping: Challenges, Perspectives, and Open Problems. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Alain Frisch |
A Gentle Introduction to Semantic Subtyping. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
Parametric polymorphism for XML. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
XML, polymorphism, subtyping, tree automata |
| 1 | Giuseppe Castagna |
Patterns and Types for Querying XML Documents. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Alain Frisch |
A gentle introduction to semantic subtyping. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
negation types, typing, subtyping, intersection, union |
| 1 | Giuseppe Castagna |
Patterns and Types for Querying XML Documents. |
XSym |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
Semantic Subtyping for the p-Calculus. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Access control for mobile agents: The calculus of boxed ambients. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Ambient calculi, access control systems, mobile computation, type systems, type safety |
| 1 | Véronique Benzaken, Giuseppe Castagna, Cédric Miachon |
CQL: a pattern-based query language for XML. |
BDA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Marwan Burelle, Giuseppe Castagna |
Information Flow Security for XML Transformations. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
CDuce, XML, type systems, XML-processing |
| 1 | Giuseppe Castagna, Adriana B. Compagnoni |
Seventh International Workshop on Foundations of Object-Oriented Languages. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Michele Bugliesi, Giuseppe Castagna |
Information Flow Security for Boxed Ambients. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna |
Behavioural typing for safe ambients. |
Comput. Lang. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone |
A Survey of Name-Passing Calculi and Crypto-Primitives. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic Subtyping. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Francesco Zappa Nardelli |
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Gang Chen |
Dependent Types with Subtyping and Late-Bound Overloading. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Michele Bugliesi, Silvia Crafa |
An overview of Boxed Ambients. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Reasoning about Security in Mobile Ambients. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
Typing Mobility in the Seal Calculus. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Subtyping and Matching for Mobile Objects. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Boxed Ambients. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna |
Secure safe ambients. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Typed Mobile Objects. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek, Giuseppe Castagna |
Seal: A Framework for Secure Mobile Computations. |
ICCL Workshop: Internet Programming Languages |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna |
Unifying Overloading and lambda-Abstraction: lambda{}. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | John Boyland, Giuseppe Castagna |
Parasitic Methods: An Implementation of Multi-Methods for Java. |
OOPSLA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna |
Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Liquori, Giuseppe Castagna |
A Typed Lambda Calculus of Objects (Extended Abstract). |
ASIAN |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John Boyland, Giuseppe Castagna |
Type-Safe Compilation of Covariant Specialization: A Practical Case. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna |
A Meta-Language for Typed Object-Oriented Languages. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Gary T. Leavens |
Foundation of Object-Oriented Languages, 2nd Workshop Report. |
SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce |
On Binary Methods. |
TAPOS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna |
Covariance and Contravariance: Conflict without a Cause. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
object-oriented languages, type theory |
| 1 | Giuseppe Castagna, Benjamin C. Pierce |
Corrigendum: Decidable Bounded Quantification. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna |
A proposal for making 02 more type-safe. |
BDA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna |
Overloading, subtyping and late binding - functional foundation of object-oriented programming. |
|
1994 |
RDF |
|
| 1 | Giuseppe Castagna, Benjamin C. Pierce |
Decidable Bounded Quantification. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna |
F&<=: integrating parametric and "ad hoc" second order polymorphism. |
DBPL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna |
A Meta-Language for Typed Object-Oriented Languages. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")