Author of the publication

Variance and Generalized Constraints for C# Generics.

, , , and . ECOOP, volume 4067 of Lecture Notes in Computer Science, page 279-303. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Characteristics and modelling of PEM fuel cells., and . ISCAS (5), page 880-883. IEEE, (2004)Formalization of generics for the .NET common language runtime., , and . POPL, page 39-51. ACM, (2004)JavaScript Instrumentation in Practice., , , , and . APLAS, volume 5356 of Lecture Notes in Computer Science, page 326-341. Springer, (2008)Building Certified Libraries for PCC: Dynamic Storage Allocation., , and . ESOP, volume 2618 of Lecture Notes in Computer Science, page 363-379. Springer, (2003)Supporting Binary Compatibility with Static Compilation., , and . Java Virtual Machine Research and Technology Symposium, page 165-180. USENIX, (2002)Formal Specification and Analysis of Timing Properties in Software Systems., , , , and . FASE, volume 5503 of Lecture Notes in Computer Science, page 262-277. Springer, (2009)Dynamic test input generation for web applications., , , , , and . ISSTA, page 249-260. ACM, (2008)A Typed Assembly Language for Confidentiality., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 162-179. Springer, (2006)Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems., , , and . ICST, page 140-149. IEEE Computer Society, (2011)JavaScript instrumentation for browser security., , , and . POPL, page 237-249. ACM, (2007)