-
Intersection Types with Subtyping by Means of Cut Elimination
International audience -
Conception et implantation d'un modèle de raisonnement sur les contextes basé...
This approach suggests a possible solution for the following issue : how to formalize environments related to a given process and how to exploit the information they... -
A type system for embedded rewriting programming
In software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a... -
From Object-Oriented Programming to Service-Oriented Computing: How to Improv...
Short paper presented as a poster -
Name-passing calculi: from fusions to preorders and types
International audience -
Children of Senegal River Basin show the highest prevalence of Blastocystis s...
International audience -
Using Larch to specify the Behavior of Objects in Open Distributed Environments
Colloque avec actes et comité de lecture.
