Search for persons
X
?
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs ,
1
Gradual Guarantee for FJ with lambda-Expressions:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
3
Soundness Conditions for Big-Step Semantics:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
4
A tale of intersection types:
, In:
?
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools ,
6
Trait-oriented programming in Java 8:
, In:
?
ECOOP 2012 – Object-Oriented Programming; Lecture Notes in Computer Science ,
7
Magda: A New Language for Modularity:
, In:
?
Proceedings of the 26th European conference on Object-Oriented Programming ,
8
Magda : a new language for modularity:
, In:
?
Proceedings of the 6th international symposium on Principles and practice of programming in Java ,
10
A trait based re-engineering technique for Java hierarchies:
, In:
?
Objects, Components, Models and Patterns; Lecture Notes in Business Information Processing ,
12
Object Incompleteness and Dynamic Composition in Java-Like ..:
, In:
?
Proceedings of the 6th international symposium on Principles and practice of programming in Java ,
13