Items where Author / Artist / Editor is "Henrio, Ludovic"

Article

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Lutz, Bianca (2012) ASPfun: a typed functional active object calculus. Science of Computer Programming, 77 (7-8) . pp. 823-847. ISSN 0167-6423 [Article] (doi:10.1016/j.scico.2010.12.008)

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]

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Khan, Muhammad Uzair (2010) A framework for reasoning on component composition. Lecture Notes in Computer Science, 6286 . pp. 1-20. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-17071-3_1)

Henrio, Ludovic and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2009) Functional active objects: typing and formalisation. Electronic Notes in Theoretical Computer Science, 255 . pp. 83-101. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2009.10.026)

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Rivera, Marcela (2009) An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science, 5751 . pp. 159-179. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-04167-9_9)

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]