|
[1]
|
Henning Makholm and J. B. Wells.
Type inference, principal typings, and let-polymorphism for
first-class mixin modules.
In Proc. 10th Int'l Conf. Functional Programming, pages
156-167. ACM Press, September 2005.
|
|
[2]
|
D. Ancona, G. Lagorio, and E. Zucca.
Smart modules for Java-like languages.
In ECOOP Workshop on Formal Techniques for Java-like Programs
(FTfJP 2005), Glasgow, Scotland, July 2005.
|
|
[3]
|
D. Ancona, S. Fagorzi, and E. Zucca.
Mixin modules for dynamic rebinding.
In TGC 2005 - Symposium on Trustworthy Global Computing, LNCS.
Springer-Verlag, April 2005.
To appear.
|
|
[4]
|
Henning Makholm and J. B. Wells.
Type inference and principal typings for symmetric record
concatenation and mixin modules.
Technical Report HW-MACS-TR-0030, Heriot-Watt Univ., School of Math. & Comput. Sci., March 2005.
|
|
[5]
|
Alex Buckley, Michelle Murray, Susan Eisenbach, and Sophia Drossopoulou.
Flexible bytecode for linking in .net.
In ETAPS Workshop BYTECODE, Edinburgh, UK, March 2005.
|
|
[6]
|
Sébastien Carlier and J. B. Wells.
Expansion: the crucial mechanism for type inference with
intersection types: Survey and explanation.
Technical Report HW-MACS-TR-0029, Heriot-Watt Univ., School of Math. & Comput. Sci., February 2005.
|
|
[7]
|
Luigi Liquori and Simona Ronchi Della Rocca.
Towards an intersection typed system á la
Church.
In Proc. 3rd Int'l Workshop Intersection Types & Related
Systems (ITRS 2004), 2005.
The ITRS '04 proceedings appears as vol. 136 (2005-07-19) of
Elec. Notes in Theoret. Comp. Sci.
|
|
[8]
|
Ugo de' Liguoro Steffen van Bakel.
Subtyping object and recursive types logically.
In Proceedings of ICTCS'05, LNCS. Springer-Verlag, 2005.
To appear.
|
|
[9]
|
Henning Makholm and J. B. Wells.
Instant polymorphic type systems for mobile process calculi:
Just add reduction rules and close.
In Programming Languages & Systems, 14th European Symp. Programming, volume 3444 of Lecture Notes in Computer Science, pages
389-407. Springer, 2005.
A more detailed predecessor is [36].
|
|
[10]
|
Sébastien Carlier and J. B. Wells.
Expansion: the crucial mechanism for type inference with
intersection types: A survey and explanation.
In Proc. 3rd Int'l Workshop Intersection Types & Related
Systems (ITRS 2004), pages 173-202, 2005.
The ITRS '04 proceedings appears as vol. 136 (2005-07-19) of
Elec. Notes in Theoret. Comp. Sci.
|
|
[11]
|
P. Coppola, U. Dal Lago, and Simona Ronchi Della Rocca.
Elementary affine logic and the call by value lambda calculus.
In P. Urzyczyn, editor, Typed Lambda Calculi and Applications,
7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005,
Proceedings, volume 3461 of LNCS, pages 131-145. Springer-Verlag,
2005.
|
|
[12]
|
P. Coppola and Simona Ronchi Della Rocca.
Principal typing for lambda calculus in elementary affine
logic.
Fundamenta Informaticae, 65(1-2):87-112, 2005.
|
|
[13]
|
Luca Paolini.
A stable programmming language.
To appear in Information and Computation, 2005.
|
|
[14]
|
S. Drossopoulou, G. Lagorio, and S. Eisenbach.
Flexible models for dynamic linking.
Submitted for journal publication, 2005.
|
|
[15]
|
Elaine Pimentel, Simona Ronchi Della Rocca, and Luca Roversi.
Intersection types: a proof-theoretical approach.
To appear in Proceedings of STRUCTURES AND DEDUCTION - ICALP Workshop
Lisbon July 16-17, 2005.
|
|
[16]
|
Christopher Anderson, Paola Giannini, and Sophia Drossopoulou.
Type inference for scripting languages.
In ECOOP'05 - European Conference on Object-Oriented
Programming, Lecture Notes in Computer Science. Springer, 2005.
To appear.
|
|
[17]
|
Charles Smith and Sophia Drossopoulou.
Typed traits for java.
In ECOOP'05 - European Conference on Object-Oriented
Programming, Lecture Notes in Computer Science. Springer, 2005.
To appear.
|
|
[18]
|
L. Bettini, V. Bono, and S. Likavec.
Safe object composition in the presence of subtyping.
In Proceedings of ICTCS 2005, LNCS. Springer-Verlag, 2005.
To appear.
|
|
[19]
|
L. Bettini, V. Bono, and S. Likavec.
Safe and Flexible Objects.
In ACM Symposium on Applied Computing (SAC 2005). ACM Press,
2005.
In OOPS track.
|
|
[20]
|
L. Bettini, V. Bono, and B. Venneri.
MoMi - A Calculus for Mobile Mixins.
This work improves [121]. To appear in Acta
Informatica, Special Issue on ``Types in Concurrency'' (this version is
therefore a more complete one w.r.t. the version at month 30), 2005.
|
|
[21]
|
D. Ancona and E. Moggi.
Program generation and components.
In Frank S. de Boer, Marcello M. Bonsangue, and Susanne Graf,
editors, Formal Methods for Components and Objects: Third International
Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004. Revised
Lectures, volume 3167 of LNCS. Springer-Verlag, 2005.
|
|
[22]
|
D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca.
Polymorphic bytecode: Compositional compilation for Java-like
languages.
In Conf. Rec. POPL '05: 32nd ACM Symp. Princ. of Prog. Langs., pages 26-37, 2005.
|
|
[23]
|
D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca.
Compositional compilation for Java-like languages through
polymorphic bytecode.
Extended version of [22] with proofs,
January 2005.
|
|
[24]
|
Fabio Alessi, Franco Barbanera, and Mariangiola Dezani-Ciancaglini.
Intersection types and lambda models.
Theoret. Comput. Sci., 2005.
to appear.
|
|
[25]
|
Fabio Alessi and Mariangiola Dezani-Ciancaglini.
Type preorders and recursive terms.
In Proc. 3rd Int'l Workshop Intersection Types & Related
Systems (ITRS 2004), pages 3-21, 2005.
The ITRS '04 proceedings appears as vol. 136 (2005-07-19) of
Elec. Notes in Theoret. Comp. Sci.
|
|
[26]
|
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti,
and Rosario Pugliese.
A mobility calculus with local and dependent types.
In Festschrift, LNCS. 2005.
to appear.
|
|
[27]
|
Mariangiola Dezani-Ciancaglini, Furio Honsell, and Yoko Motohama.
Compositional characterization of lambda -terms using
intersection types.
Theoret. Comput. Sci., 340(3):459-495, 2005.
|
|
[28]
|
F. Damiani.
Rank-2 intersection and polymorphic recursion.
In TLCA'05, volume 3461 of LNCS, pages 146-161.
Springer, 2005.
|
|
[29]
|
F. Damiani.
Rank-2 intersection and polymorphic recursion (extended version
with proofs).
Internal report. Extended version with proofs
of [28], January 2005.
|
|
[30]
|
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alex Ahern, and Sophia
Drossopoulou.
A Distributed Object-Oriented language with Session
types.
In TGC 2005, LNCS. Springer-Verlag, 2005.
to appear.
|
|
[31]
|
Ugo de'Liguoro and Giuseppe Falzetta.
Effect system for BoCa: a Prolog implementation.
2005.
|
|
[32]
|
U. Dal Lago, S. Martini, and L. Roversi.
Higher-order linear ramified recurrence.
In Proceedings of TYPES'04, volume 3085 of LNCS, pages
178 - 193. Springer-Verlag, December 2004.
|
|
[33]
|
F. Damiani, M. Dezani-Ciancaglini, and P. Giannini.
On re-classification and multithreading.
Journal of Objectc Technology (www.jot.fm), 3(11):5-30,
December 2004.
Special issue: OOPS track at SAC 2004, Nicosia/Cyprus.
|
|
[34]
|
S. Fagorzi and E. Zucca.
A case-study in encoding configuration languages: Multiple class
loaders.
Journal of Object Technology, 3(11):31-53, December 2004.
|
|
[35]
|
G. Lagorio.
Capturing ghost dependencies in Java sources.
Journal of Object Technology, 3(11):77-95, December 2004.
|
|
[36]
|
Henning Makholm and J. B. Wells.
Instant polymorphic type systems for mobile process calculi:
Just add reduction rules and close.
Technical Report HW-MACS-TR-0022, Heriot-Watt Univ., School of Math. & Comput. Sci., November 2004.
A shorter successor is [9].
|
|
[37]
|
D. Ancona and E. Moggi.
A fresh calculus for names management.
In G. Karsai and E. Visser, editors, Generative Programming and
Component Engineering, volume 3286 of Lecture Notes in Computer
Science. Springer, October 2004.
|
|
[38]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A calculus for dynamic reconfiguration with low priority
linking.
In Workshop on Object-Oriented Developments 2004, ENTCS.
Elsevier, August 2004.
To appear.
|
|
[39]
|
Alex Buckley and Sophia Drossopoulou.
Flexible dynamic linking.
In ECOOP Workshop on Formal Techniques for Java Programs (FTfJP
2004), Oslo, Norway, June 2004.
|
|
[40]
|
Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus Ostermann.
Simple dependent types: Concord.
In ECOOP Workshop on Formal Techniques for Java Programs (FTfJP
2004), Oslo, Norway, June 2004.
|
|
[41]
|
D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca.
Even more principal typings for Java-like languages.
In ECOOP Workshop on Formal Techniques for Java Programs (FTfJP
2004), Oslo, Norway, June 2004.
|
|
[42]
|
Torben Amtoft, Henning Makholm, and J. B. Wells.
PolyA: True type polymorphism for Mobile Ambients.
Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., February 2004.
A shorter successor is [45].
|
|
[43]
|
F. Barbanera and U. de' Liguoro.
Type assignment for mobile objects.
In COMETA'03, ENTCS 104C. Elsevier, 2004.
|
|
[44]
|
Henning Makholm and J. B. Wells.
Type inference for PolyA.
Technical Report HW-MACS-TR-0013, Heriot-Watt Univ., School of Math. & Comput. Sci., January 2004.
|
|
[45]
|
Torben Amtoft, Henning Makholm, and J. B. Wells.
PolyA: True type polymorphism for Mobile Ambients.
In IFIP TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS
'04), pages 591-604. Kluwer Academic Publishers, 2004.
A more detailed predecessor is [42].
|
|
[46]
|
Christian Haack and J. B. Wells.
Type error slicing in implicitly typed higher-order languages.
Sci. Comput. Programming, 50:189-224, 2004.
Supersedes [100].
|
|
[47]
|
Christian Haack and J. B. Wells.
Type error slicing in implicitly typed higher-order languages.
Sci. Comput. Programming, 50:189-224, 2004.
Special issue of best papers from ESOP '03.
|
|
[48]
|
Sébastien Carlier, Jeff Polakow, J. B. Wells, and A. J. Kfoury.
System E: Expansion variables for flexible typing with
linear and non-linear types and intersection types.
In Programming Languages & Systems, 13th European Symp. Programming, volume 2986 of Lecture Notes in Computer Science, pages
294-309. Springer, 2004.
|
|
[49]
|
Sébastien Carlier and J. B. Wells.
Type inference with expansion variables and intersection types
in System E and an exact correspondence with beta-reduction.
Technical Report HW-MACS-TR-0012, Heriot-Watt Univ., School of Math. & Comput. Sci., January 2004.
Completely superseded by [50].
|
|
[50]
|
Sébastien Carlier and J. B. Wells.
Type inference with expansion variables and intersection types
in System E and an exact correspondence with beta-reduction.
In Proc. 6th Int'l Conf. Principles & Practice Declarative
Programming, 2004.
Completely supersedes [49].
|
|
[51]
|
Luca Paolini and Simona Ronchi Della Rocca.
Parametric parameter passing lambda calculus.
Information and Computation, 189(1):87-106, 2004.
|
|
[52]
|
G. Lagorio.
Another step towards a smart compilation manager for Java.
In ACM Symposium on Applied Computing SAC 2004, pages
1275-1280. ACM Press, March 2004.
In OOPS track.
|
|
[53]
|
D. Ancona and G. Lagorio.
Stronger typings for separate compilation of Java-like
languages.
Journal of Object Technology, 3(6), 2004.
Extended version of [95].
|
|
[54]
|
Luca Paolini and Simona Ronchi Della Rocca.
Parametric parameter passing lambda-calculus.
Information and Computation, 189(1):87-106, 2004.
|
|
[55]
|
Simona Ronchi Della Rocca and Luca Paolini.
The Parametric Lambda-Calculus: a Metamodel for
Computation.
Texts in Theoretical Computer Science: An EATCS Series.
Springer-Verlag, Berlin, 2004.
Ed. Ingeborg Mayer.
|
|
[56]
|
Ronchi Della Rocca S. Paolini L.
Lazy logical semantics.
Electronic Notes in Theoretical Computer Science, 104:235-251,
2004.
|
|
[57]
|
Ronchi Della Rocca S. Paolini L., Pimentel E.
Lazy strong normalization.
In Proceedings of Intersection Types and Related System. A
satellite workshops of the Joint Meeting ICALP2004/LICS2004., volume to
appear, page ??, 2004.
Mario Coppo and Damiani Ferruccio editors.
|
|
[58]
|
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, and Paola Giannini.
Re-classification and multithreading: FickleMT.
In ACM Symposium on Applied Computing SAC 2004. ACM, 2004.
In OOPS track.
|
|
[59]
|
Christopher Anderson and Paola Giannini.
Type checking for JavaScript.
In WOOD'04, 2004.
|
|
[60]
|
L. Bettini, V. Bono, and B. Venneri.
O'Klaim: a coordination language with mobile mixins.
In Proceedings of COORDINATION 2004, volume 2949 of LNCS,
pages 20-37. Springer-Verlag, 2004.
|
|
[61]
|
L. Bettini, V. Bono, and S. Likavec.
A core calculus of mixin-based incomplete objects.
In Proceedings of FOOL 11, 2004.
|
|
[62]
|
L. Bettini, V. Bono, and S. Likavec.
A core calculus of higher-order mixins and classes.
In Post-Proceedings of Types 2003, volume 3085 of LNCS.
Springer-Verlag, 2004.
|
|
[63]
|
L. Bettini, V. Bono, and S. Likavec.
A core calculus of higher-order mixins and classes [poster
abstract].
In ACM Symposium on Applied Computing SAC 2004. ACM Press,
2004.
In PL track. Accepted as a 2-page Poster Abstract. Extended abstract
of [62].
|
|
[64]
|
L. Bettini, V. Bono, and S. Likavec.
A core calculus of mixins and incomplete objects.
In The OOPSLA Companion. ACM Press, 2004.
Accepted as a 2-page Poster Abstract.
|
|
[65]
|
V. Bono, J. Tiuryn, and Pawel Urzyczyn.
Type inference for nested self types (extended abstract).
In Post-Proceedings of Types 2003, volume 3085 of LNCS.
Springer-Verlag, 2004.
|
|
[66]
|
L. Bettini, V. Bono, and B. Venneri.
Subtyping-inheritance conflicts: The mobile mixin case.
In IFIP TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS
'04). Kluwer Academic Publishers, 2004.
|
|
[67]
|
Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola
Dezani-Ciancaglini, and Steffen van Bakel.
Intersection types for explicit substitutions.
Inform. & Comput., 189(1):17-42, 2004.
|
|
[68]
|
E. Moggi and A. Sabry.
An abstract monadic semantics for value recursion.
Theoretical Informatics and Applications, 38, 2004.
|
|
[69]
|
G. Ferrari, E. Moggi, and R. Pugliese.
MetaKlaim: A type safe multi-stage language for global
computing.
Math. Structures Comput. Sci., 14(3), 2004.
|
|
[70]
|
S. Fagorzi, E. Zucca, and D. Ancona.
Modeling multiple class loaders by a calculus for dynamic
linking.
In ACM Symposium on Applied Computing SAC 2004. ACM Press,
March 2004.
In OOPS track.
|
|
[71]
|
Davide Ancona, Sonia Fagorzi, and Elena Zucca.
A calculus with lazy module operators.
In IFIP TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS
'04), pages 423-436. Kluwer Academic Publishers, 2004.
|
|
[72]
|
E. Moggi.
A cumulative monadic metalanguage.
Unpublished, 2004.
|
|
[73]
|
C. Calcagno, E. Moggi, and W. Taha.
ML-like inference for classifiers.
In Programming Languages & Systems, 13th European Symp. Programming, volume 2986 of Lecture Notes in Computer Science.
Springer, 2004.
|
|
[74]
|
Davide Ancona and Elena Zucca.
Principal typings for Java-like languages.
In Conf. Rec. POPL '04: 31th ACM Symp. Princ. of Prog. Langs., 2004.
|
|
[75]
|
E. Giovannetti.
Type inference for Mobile Ambients in Prolog.
In CATS 2004, volume 91 of ENTCS, pages 96-115, 2004.
|
|
[76]
|
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, and Silvia Likavec.
Behavioural inverse limit lambda-models.
Theoret. Comput. Sci., 316(1-3):49-74, 2004.
|
|
[77]
|
Fabio Alessi, Mariangiola Dezani-Ciancaglini, and Stefania Lusin.
Intersection types and domain operators.
Theoret. Comput. Sci., 316(1-3):25-47, 2004.
|
|
[78]
|
Fabio Alessi, Franco Barbanera, and Mariangiola Dezani-Ciancaglini.
Tailoring filter models.
In Stefano Berardi, Mario Coppo, and Ferruccio Damiani, editors,
Types '03, volume 3085 of LNCS, pages 17-33. Springer-Verlag, 2004.
|
|
[79]
|
Fabio Alessi, Mariangiola Dezani-Ciancaglini, and Furio Honsell.
Inverse limit models as filter models.
In Delia Kesner, Femke van Raamsdonk, and J. B. Wells, editors,
HOR '04, pages 3-25, Aachen, 2004. RWTH Aachen.
|
|
[80]
|
Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, and Pablo
Garralda.
Boxed ambients with communication interfaces.
In Václav Fiala, Jiríand Koubek and Kratochvíl Jan,
editors, MFCS '04, volume 3153 of LNCS, pages 119-148.
Springer-Verlag, 2004.
|
|
[81]
|
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Rosario
Pugliese.
Dynamic and local typing for mobile ambients.
In IFIP TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS
'04), pages 583-596. Kluwer Academic Publishers, 2004.
|
|
[82]
|
Federico Cozzi.
Type inference for local typing of mobile ambients.
2004.
|
|
[83]
|
Furio Honsell, Marina Lenisa, and Rekha Redamalla.
Coalgebraic semantics and observational equivalences of an
imperative class-based oo-language.
In Furio Honsell, Marina Lenisa, and Marino Miculan, editors,
Proc. COMETA'03, ENTCS, pages 146-162, Udine, Italy, December 2003.
Elsevier/Forum.
|
|
[84]
|
L. Bettini, V. Bono, and B. Venneri.
Mixin and class subtyping hierarchies in a mobile setting.
Manuscript, December 2003.
|
|
[85]
|
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone.
A calculus of bounded capacities.
In ASIAN'03, number 2896 in LNCS, pages 205-223.
Springer-Verlag, December 2003.
|
|
[86]
|
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone.
A calculus of bounded capacities.
Submitted to a journal. Extendend version of
[85], December 2003.
|
|
[87]
|
Ines Margaria and Maddalena Zacchi.
A filter model for safe ambients.
In Furio Honsell, Marina Lenisa, and Marino Miculan, editors,
Proc. Final Workshop Project COMETA, ENTCS, Udine, Italy, December 2003.
Elsevier/Forum.
|
|
[88]
|
S. van Bakel and U. de' Liguoro.
Logical semantics for the first order sigma-calculus.
In ICTCS'03, volume 2841 of LNCS, pages 202-215.
Springer-Verlag, October 2003.
|
|
[89]
|
G. Lagorio.
Towards a smart compilation manager for Java.
In Proc. Italian Conference on Theoretical Computer Science
2003, number 2841 in Lecture Notes in Computer Science, pages 302-315.
Springer, October 2003.
|
|
[90]
|
Fabio Alessi, Mariangiola Dezani-Ciancaglini, and Stefania Lusin.
Intersection types and domain operators.
Theoret. Comput. Sci., October 2003.
to appear.
|
|
[91]
|
F. Damiani.
Principal typings and true rank 2 intersection typable recursive
definitions.
Internal report. Superseded by [29], October
2003.
|
|
[92]
|
D. Ancona, G. Lagorio, and E. Zucca.
Jam-designing a Java extension with mixins.
ACM Transactions on Programming Languages and Systems,
25(5):641-712, September 2003.
|
|
[93]
|
Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan.
Imperative object-based calculi in (co)inductive type theories.
In Moshe Vardi and Andrei Voronkov, editors, Proc. 10th Int'l
Conf. Logic for Programming Artificial Intelligence & Reasoning, volume
2850 of LNCS, Almaty, Kazakhstan, September 2003. Springer.
|
|
[94]
|
F. Alessi, F. Barbanera, and M. Dezani-Ciancaglini.
Intersection types and computational rules.
In WoLLIC '03, volume 82 of ENTCS. Elsevier, August 2003.
|
|
[95]
|
D. Ancona and G. Lagorio.
Stronger typings for separate compilation of Java-like
languages (extended abstract).
In Fifth Workshop on Formal Techniques for Java Programs, July
2003.
|
|
[96]
|
Furio Honsell and Ivan Scagnetto.
Mobility types in Coq.
Technical report, Dipartimento di Matematica e Informatica,
Università di Udine, Italy, June 2003.
|
|
[97]
|
M. Dezani-Ciancaglini and S. Ghilezan.
Lambda models characterizing computational behaviours of terms.
Schedae Informaticae, 12:35-49, June 2003.
|
|
[98]
|
F. Damiani.
Rank 2 Intersection Types for Modules.
Version with conclusions and appendices of [134],
June 2003.
|
|
[99]
|
M. Coppo and E. Giovannetti.
Prolog implementation of type inference algorithms for mobile
ambients.
Internal report, June 2003.
|
|
[100]
|
Christian Haack and J. B. Wells.
Type error slicing in implicitly typed higher-order languages.
In Programming Languages & Systems, 12th European Symp. Programming, volume 2618 of Lecture Notes in Computer Science, pages
284-301. Springer, 2003.
Superseded by [46].
|
|
[101]
|
P. Coppola and Simona Ronchi Della Rocca.
Principal Typing in Elementary Affine Logic.
In Martin Hofmann, editor, Typed Lambda Calculi and
Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June
10-12, 2003, Proceedings, volume 2701 of Lecture Notes in Computer
Science, pages 90-104. Springer, 2003.
|
|
[102]
|
P. Coppola and Simona Ronchi Della Rocca.
Principal Typing in Elementary Affine Logic.
In Martin Hofmann, editor, Typed Lambda Calculi and
Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June
10-12, 2003, Proceedings, volume 2701 of Lecture Notes in Computer
Science, pages 90-104. Springer, 2003.
|
|
[103]
|
P. Coppola and Simona Ronchi Della Rocca.
Principal Typing in Elementary Affine Logic.
In Martin Hofmann, editor, Typed Lambda Calculi and
Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June
10-12, 2003, Proceedings, volume 2701 of Lecture Notes in Computer
Science, pages 90-104. Springer, 2003.
|
|
[104]
|
Christopher Anderson and Sophia Drossopoulou.
BabyJ - from object based to class based programming via
types.
In WOOD '03, volume 82 of ENTCS. Elsevier, 2003.
|
|
[105]
|
Christopher Anderson and Sophia Drossopoulou.
delta - an imperative object based calculus with delegation,
for unanticipated software evolution.
Submitted for publication, 2003.
|
|
[106]
|
L. Roversi.
An introduction to intuitionistic light affine logic.
Lecture notes - Mini (Doctoral) School Chambéry/Turin of
Theoretical Computer Science, Jan 2003.
|
|
[107]
|
Matthew Smith and Sophia Drossopoulou.
Cheaper reasoning with ownership types.
In ECOOP 2003 International Workshop on Aliasing and
Confinement, 2003.
|
|
[108]
|
Matthew Smith and Sophia Drossopoulou.
Inner classes visit aliasing.
In ECOOP 2003 Workshop on Formal Techniques for Java-like
Programming, 2003.
|
|
[109]
|
Sophia Drossopoulou and Susan Eisenbach.
Flexible, source level dynamic linking and re-linking.
In ECOOP 2003 Workshop on Formal Techniques for Java Programs,
2003.
|
|
[110]
|
Sophia Drossopoulou, Giovanni Lagorio, and Susan Eisenbach.
Flexible models for dynamic linking.
In Programming Languages & Systems, 12th European Symp. Programming, volume 2618 of Lecture Notes in Computer Science, pages
38-53. Springer, 2003.
|
|
[111]
|
Ferruccio Damiani.
A conjunctive type system for useless-code elimination.
Math. Structures Comput. Sci., 13:157-197, 2003.
|
|
[112]
|
Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan.
Reasoning on an imperative object-based calculus in higher order
abstract syntax.
In Proc. 2nd MERlambdaIN, ACM Digital Library, Uppsala,
Sweden, 2003. ACM.
|
|
[113]
|
F. Honsell, M. Lenisa, and R. Redamalla.
Coalgebraic semantics and observational equivalences of an
imperative class-based oo language.
Technical Report 02/2003, Dipartimento di Matematica e Informatica,
Università di Udine, Italy, 2003.
|
|
[114]
|
M. Dezani-Ciancaglini, F. Honsell, and F. Alessi.
A complete characterization of complete intersection-type
preorders.
ACM Transactions on Logic and Computation, 4(1):120-147,
January 2003.
|
|
[115]
|
C. Anderson, F. Barbanera, M. Dezani-Ciancaglini, and S. Drossopoulou.
Can addresses be types? (a case study: objects with
delegation).
In WOOD '03, volume 82 of ENTCS. Elsevier, 2003.
|
|
[116]
|
Christopher Anderson, Franco Barbanera, and Mariangiola Dezani-Ciancaglini.
Alias and Union types for Delegation.
Ann. Math., Comput. & Teleinformatics, 1:1-18, 2003.
|
|
[117]
|
L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi,
R. Pugliese, E. Tuosto, and B. Venneri.
The Klaim Project: Theory and practice.
In Global Computing - Programming Environments,
Languages, Security and Analysis of Systems, volume 2874 of
LNCS. Springer-Verlag, 2003.
|
|
[118]
|
V. Bono.
Extensible objects: a tutorial.
In Global Computing - Programming Environments,
Languages, Security and Analysis of Systems, volume 2874 of
LNCS. Springer-Verlag, 2003.
|
|
[119]
|
F. Damiani and P. Giannini.
Alias types for ``environment-aware'' computations.
In WOOD '03, volume 82 of ENTCS. Elsevier, 2003.
|
|
[120]
|
F. Damiani.
Rank 2 intersection types for local definitions and conditional
expressions.
ACM Trans. on Prog. Langs. & Systs., 25(4):401-451,
2003.
|
|
[121]
|
L. Bettini, V. Bono, and B. Venneri.
MoMi - A Calculus for Mobile Mixins.
Manuscript, January 2003.
|
|
[122]
|
A. Ciaffaglione, P. Di Gianantonio, F. Honsell, and L. Liquori.
Foundations for dynamic object re-classification.
Technical Report 03/2003, Dipartimento di Matematica e Infomatica,
Universita' di Udine, Italy, 2003.
|
|
[123]
|
Alberto Ciaffaglione.
Certified reasoning on Real Numbers and Objects in
Co-inductive Type Theory.
PhD thesis, Dipartimento di Matematica e Informatica Università di
Udine, Italy, 2003.
available as outline.
|
|
[124]
|
M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti, and I. Salvo.
M3: Mobility types for mobile processes in mobile ambients.
In CATS 2003, volume 78 of ENTCS, 2003.
|
|
[125]
|
M. Dezani-Ciancaglini and S. Ghilezan.
Two behavioural lambda models.
In Types'02, volume 2246 of LNCS, pages 127-147.
Springer-Verlag, 2003.
|
|
[126]
|
E. Moggi and A. Sabry.
An abstract monadic semantics for value recursion.
In FICS'03, 2003.
|
|
[127]
|
C. Calcagno, E. Moggi, and T. Sheard.
Closed types for a safe imperative MetaML.
J. Funct. Programming, 13(3):545-571, 2003.
|
|
[128]
|
E. Moggi and S. Fagorzi.
A monadic multi-stage metalanguage.
In Proc. FoSSaCS '03, volume 2620 of Lecture Notes in
Computer Science. Springer, 2003.
|
|
[129]
|
D. Ancona, S. Fagorzi, E. Moggi, and E. Zucca.
Mixin modules and computational effects.
In Proc. 30th Int'l Coll. Automata, Languages, and
Programming, volume 2719 of Lecture Notes in Computer Science.
Springer, 2003.
|
|
[130]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A calculus for dynamic linking.
In Proc. Italian Conference on Theoretical Computer Science
2003, number 2841 in Lecture Notes in Computer Science, pages 284-301.
Springer, October 2003.
|
|
[131]
|
D. Ancona and E. Moggi.
A calculus for symbolic names management.
Submitted, 2003.
|
|
[132]
|
C. Calcagno, E. Moggi, and W. Taha.
ML-like inference for classifiers.
Accepted to ESOP'04, 2003.
|
|
[133]
|
Marino Miculan and Ivan Scagnetto.
A framework for typed HOAS and semantics.
In Proc. 5th Int'l Conf. Principles & Practice Declarative
Programming, 2003.
|
|
[134]
|
F. Damiani.
Rank 2 intersection types for modules.
In Proc. 5th Int'l Conf. Principles & Practice Declarative
Programming, pages 67-78, 2003.
|
|
[135]
|
F. Damiani, S. Drossopoulou, and P. Giannini.
Refined effects for unanticipated object re-classification:
Fickle3 (extended abstract).
In ICTCS'03, volume 2841 of LNCS, pages 97-110.
Springer, 2003.
|
|
[136]
|
M. Coppo and F. Cardone.
Decidability properties of recursive types.
In ICTCS'03, volume 2841 of LNCS, pages 242-255.
Springer-Verlag, 2003.
|
|
[137]
|
E. Giovannetti.
Ambient calculi with types: a tutorial.
In Global Computing - Programming Environments,
Languages, Security and Analysis of Systems, volume 2874 of
LNCS. Springer-Verlag, 2003.
|
|
[138]
|
M. Dezani.
Finitary logical semantics (abstract).
The Bulletin of Symbolic Logic, 9(2):257-258, 2003.
|
|
[139]
|
U. de' Liguoro.
Restricted intersection type assignment systems and object
properties.
December 2002.
|
|
[140]
|
Torben Amtoft and J. B. Wells.
Mobile processes with dependent communication types and
singleton types for names and capabilities.
Technical Report 2002-3, Kansas State University, Department of
Computing and Information Sciences, December 2002.
|
|
[141]
|
F. Damiani, M. Dezani-Ciancaglini, S. Drossopoulou, and P. Giannini.
Refined effects for re-classification: FickleIII.
Internal report, December 2002.
|
|
[142]
|
F. Damiani.
Rank 2 intersection types for local definitions and conditional
expressions.
Supersedes [?]. Superseded
by [120], October 2002.
|
|
[143]
|
S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini.
More dynamic object re-classification: FickleII.
ACM Trans. on Prog. Langs. & Systs., 24(2):153-191,
March 2002.
|
|
[144]
|
Assaf J. Kfoury, Geoff Washburn, and J. B. Wells.
Implementing compositional analysis using intersection types
with expansion variables.
In Proceedings of the 2nd Workshop on Intersection Types and
Related Systems, 2002.
|
|
[145]
|
Simona Ronchi Della Rocca.
Intersection typed lambda-calculus.
In ITRS 2002, volume 70.1 of ENTCS. Elsevier, 2002.
|
|
[146]
|
Christopher Anderson and Sophia Drossopoulou.
delta - an imperative object based calculus with delegation.
Presented at the workshop USE in 2002, Malaga, 2002.
|
|
[147]
|
L. Roversi.
Flexible Affine Light Logic.
Submitted to a journal - a preliminary version has been presented at
the workshop ``LL-Linear Logic'', affiliated to FLoC'02, Copenhagen, 2002.
|
|
[148]
|
D. Ancona, G. Lagorio, and E. Zucca.
A formal framework for Java separate compilation.
In B. Magnusson, editor, ECOOP'02 - European Conference on
Object-Oriented Programming, volume 2374 of Lecture Notes in Computer
Science, pages 609-635. Springer, 2002.
|
|
[149]
|
D. Ancona, G. Lagorio, and E. Zucca.
True separate compilation of Java classes.
In Proc. 4rd Int'l Conf. Principles & Practice Declarative
Programming. ACM Press, 2002.
|
|
[150]
|
Ivan Scagnetto and Marino Miculan.
Ambient calculus and its logic in the Calculus of Inductive
Constructions.
In Frank Pfenning, editor, Proc. LFM '02. Elsevier, 2002.
The LFM '02 proceedings appears as ENTCS 70(2).
|
|
[151]
|
J. B. Wells.
The essence of principal typings.
In Proc. 29th Int'l Coll. Automata, Languages, and
Programming, volume 2380 of Lecture Notes in Computer Science, pages
913-925. Springer, 2002.
|
|
[152]
|
J. B. Wells.
The essence of principal typings.
A longer version of [151] with a 3-page appendix
with extra proofs, a page of extra discussion of non-related work, and other
minor changes, 2002.
|
|
[153]
|
V. Bono, F. Damiani, and P. Giannini.
A calculus for ``environment-aware'' computation.
In F-WAN '02, volume 66.3 of ENTCS. Elsevier, 2002.
|
|
[154]
|
M. Coppo and M. Dezani-Ciancaglini.
A fully abstract model for higher-order mobile ambients.
In VMCAI 2002, volume 2294 of LNCS, pages 255-271, 2002.
|
|
[155]
|
L. Bettini, V. Bono, and B. Venneri.
Coordinating mobile object-oriented code.
In Coordination 2002, volume 2315 of LNCS, pages 56-71,
2002.
|
|
[156]
|
U. de' Liguoro.
Subtyping in logical form.
In Proceedings of ITRS'02, volume 70.1 of ENTCS, page 16,
2002.
|
|
[157]
|
M. Dezani-Ciancaglini, A. Frisch, E. Giovannetti, and Y. Motohama.
The relevance of semantic subtyping.
In ITRS 2002, volume 70.1 of ENTCS. Elsevier, 2002.
|
|
[158]
|
R. Bruni, F. Honsell, M. Lenisa, and M. Miculan.
Modeling fresh names in pi-calculus using abstractions.
Technical Report TR-21-02, Dipartimento di Matematica e Informatica,
Università di Udine, Italy, 2002.
|
|
[159]
|
M. Dezani-Ciancaglini and S. Lusin.
Intersection types and lambda theories.
In WIT 2002, 2002.
|
|
[160]
|
S. van Bakel and M. Dezani-Ciancaglini.
Characterizing strong normalization for explicit substitutions.
In LATIN'02, volume 2286 of LNCS, pages 356-370.
Springer-Verlag, 2002.
|
|
[161]
|
Fabio Alessi and Stefania Lusin.
Simple easy terms.
In Proceedings of the 2nd Workshop on Intersection Types and
Related Systems, 2002.
The ITRS '02 proceedings appears as vol. 70, issue 1 of Elec. Notes in Theoret. Comp. Sci., 2003-02.
|
|
[162]
|
G. Ferrari, E. Moggi, and R. Pugliese.
Guardians for ambient-based monitoring.
In V. Sassone, editor, F-WAN: Foundations of Wide Area Network
Computing, number 66 in ENTCS. Elsevier Science, 2002.
|
|
[163]
|
G. Ferrari, E. Moggi, and R. Pugliese.
MetaKlaim: A type safe multi-stage language for global
computing.
Submitted, 2002.
|
|
[164]
|
E. Moggi and S. Fagorzi.
A monadic multi-stage metalanguage.
Submitted, 2002.
|
|
[165]
|
Mariangiola Dezani, Robert Meyer, and Yoko Motohama.
The semantics of entailment omega.
Notre Dame J. Formal Logic, 43(3):129-145, 2002.
|
|
[166]
|
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou,
Paola Giannini, and Elena Zucca.
A provenly correct translation of Fickle into Java.
Submitted for journal publication.
|
|
[167]
|
C. Calcagno, E. Moggi, and T. Sheard.
Closed types for a safe imperative MetaML.
J. Funct. Programming, to appear.
|
|
[168]
|
G. Ferrari, E. Moggi, and R. Pugliese.
MetaKlaim: A type safe multi-stage language for global
computing.
Math. Structures Comput. Sci., to appear.
|