Items where Author / Artist / Editor is "Sudhof, Henry"
![]() | See full list of headings |
Article
Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry
(2010)
Locally nameless sigma calculus.
Archive of Formal Proof
.
ISSN 2150-914X
[Article]
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Sudhof, Henry
(2008)
Composing safely: a type system for aspects.
Lecture Notes in Computer Science, 4954
.
pp. 231-247.
ISSN 0302-9743
[Article]
(doi:10.1007/978-3-540-78789-1_18)
Book Section
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Sudhof, Henry
(2008)
Compositionality of aspect weaving.
In:
Autonomous systems: self-organisation, management, and control.
Mahr, Bernd and Sheng, Huanye, eds.
Springer-Verlag, pp. 87-96.
ISBN 9781402088889.
[Book Section]
Conference or Workshop Item
Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry
(2010)
A locally nameless theory of objects.
In: SAFA Annual Workshop on Formal Techniques (SAFA’2010), October 6th and 7th, 2010, 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, France.
.
[Conference or Workshop Item]