Result 1 to 20 of 81 total
Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages. (English)
Inf. Comput. 214, 86-111 (2012).
1
Extending the lambda-calculus with unbind and rebind. (English)
RAIRO, Theor. Inform. Appl. 45, No. 1, 143-162 (2011).
2
Extending the lambda-calculus with unbind and rebind (English)
RAIRO - Theor. Inf. and Applic. 45, No. 1, 143-162 (2011).
3
2011 international workshop on foundations of object-oriented languages (fool’11): splash/oopsla ’11 workshop summary (English)
OOPSLA Companion, 319-320 (2011).
4
A lightweight approach to customizable composition operators for Java-like classes. (English)
Electron. Notes Theor. Comput. Sci. 263, 161-177 (2010).
5
Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7‒9, 2010. Proceedings. (English)
Lecture Notes in Computer Science 6117. Berlin: Springer (ISBN 978-3-642-13463-0/pbk). xii, 233~p. EUR~64.20 (2010).
6
Intersection types for unbind and rebind (English)
ITRS, 45-58 (2010).
7
Metafjig: a meta-circular composition language for Java-like classes (English)
OOPSLA, 464-483 (2010).
8
Featherweight Jigsaw: A minimal core calculus for modular composition of classes. (English)
Drossopoulou, Sophia (ed.), ECOOP 2009 ‒ object-oriented programming. 23rd European conference, Genoa, Italy, July 6‒10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03012-3/pbk). Lecture Notes in Computer Science 5653, 244-268 (2009).
9
Type inference by coinductive logic programming. (English)
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26‒29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 1-18 (2009).
10
Customizable composition operators for Java-like classes (English)
ICTCS, 136-142 (2009).
11
The essence of static and dynamic bindings (English)
ICTCS, 99-106 (2009).
12
Featherweight jigsaw: A minimal core calculus for modular composition of classes (English)
ECOOP, 244-268 (2009).
13
A parametric calculus for mobile open code. (English)
Electron. Notes Theor. Comput. Sci. 192, No. 3, 3-22 (2008).
14
Type inference by coinductive logic programming (English)
TYPES, 1-18 (2008).
15
A framework for type safe exchange of mobile code. (English)
Montanari, Ugo (ed.) et al., Trustworthy global computing. Second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75333-9/pbk). Lecture Notes in Computer Science 4661, 319-338 (2007).
16
A provenly correct translation of fickle into java. (English)
ACM Trans. Program. Lang. Syst. 29, No. 2 (2007).
17
Just: Safe unknown types in Java-like languages. (English)
J. Object Technol. 6, No. 2 (2007).
18
A calculus of components with dynamic type-checking. (English)
Electron. Notes Theor. Comput. Sci. 182, 73-90 (2007).
19
A calculus of open modules: Call-by-need strategy and confluence. (English)
Math. Struct. Comput. Sci. 17, No. 4, 675-751 (2007).
20
Result 1 to 20 of 81 total
Start
Contact
Print
General Help
