Sledovať
Mariangiola Dezani-Ciancaglini
Mariangiola Dezani-Ciancaglini
Emeritus Professor of Computer Science, Torino University
Overená e-mailová adresa na: di.unito.it - Domovská stránka
Názov
Citované v
Citované v
Rok
A filter lambda model and the completeness of type assignment1
H Barendregt, M Coppo, M Dezani-Ciancaglini
The journal of symbolic logic 48 (4), 931-940, 1983
7481983
An extension of the basic functionality theory for the lambda-calculus
M Coppo, M Dezani-Ciancaglini
Notre Dame journal of formal logic 21 (4), 685-693, 1980
4561980
A new type assignment for λ-terms
M Coppo, M Dezani-Ciancaglini
Archiv für mathematische Logik und Grundlagenforschung 19, 139-156, 1978
3201978
Functional characters of solvable terms
M Coppo, M Dezani‐Ciancaglini, B Venneri
Mathematical Logic Quarterly 27 (2‐6), 45-58, 1981
3111981
Intersection and union types: syntax and semantics
F Barbanera, M Dezaniciancaglini, U Deliguoro
Information and Computation 119 (2), 202-230, 1995
2621995
Global progress in dynamically interleaved multiparty sessions
L Bettini, M Coppo, L D’Antoni, M De Luca, M Dezani-Ciancaglini, ...
International Conference on Concurrency Theory, 418-433, 2008
2572008
Principal type-schemes and lambda-calculus semantics
M Coppo, M Dezani, B Venneri
To HB Curry. Essays on Combinatory Logic, Lambda Calculus and Formalisms …, 1980
2131980
Session types for object-oriented languages
M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou
European Conference on Object-Oriented Programming, 328-352, 2006
1942006
Extended type structures and filter lambda models
M Coppo, M Dezani-Ciancaglini, F Honsell, G Longo
Studies in Logic and the Foundations of Mathematics 112, 241-262, 1984
1941984
Global progress for dynamically interleaved multiparty sessions
M Coppo, M Dezani-Ciancaglini, N Yoshida, L Padovani
Mathematical Structures in Computer Science 26 (2), 238-302, 2016
1722016
On global types and multi-party sessions
G Castagna, M Dezani-Ciancaglini, L Padovani
LNCS (Formal Techniques for Distributed Systems), 1-28, 2011
1692011
Sessions and session types: An overview
M Dezani-Ciancaglini, U De’Liguoro
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010
1512010
Fickle: Dynamic Object Re-classification
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
1362001
Type theories, normal forms, and D-∞-lambda-models
M Coppo, M Dezani-Ciancaglini, M Zacchi
Information and computation 72 (2), 85-116, 1987
1301987
On progress for structured communications
M Dezani-Ciancaglini, U de’Liguoro, N Yoshida
International Symposium on Trustworthy Global Computing, 257-275, 2007
1222007
More dynamic object reclassification: Fickle||
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002
1132002
Foundations of session types
G Castagna, M Dezani-Ciancaglini, E Giachino, L Padovani
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
1102009
On the preciseness of subtyping in session types
TC Chen, M Dezani-Ciancaglini, N Yoshida
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
872014
A distributed object-oriented language with session types
M Dezani-Ciancaglini, N Yoshida, A Ahern, S Drossopoulou
International Symposium on Trustworthy Global Computing, 299-318, 2005
852005
A gentle introduction to multiparty asynchronous session types
M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida
Formal Methods for Multicore Programming: 15th International School on …, 2015
842015
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20