-
Le droit à la culture et l'accès aux oeuvres de l'esprit
This dataset has no description
-
Type-Based Analysis of Uncaught Exceptions
This report presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type... -
Expressing discourse dynamics through continuations
This thesis develops a theoretical formalism of formal semantics of natural language in the spirit of Montague semantics. The developed framework satisfies the... -
L'exception à l'obligation d'études d'impact
National audience -
L'aménagement conventionné, à l'aune du droit communautaire
National audience -
an intuitionistic lambda calculus with exceptions
We introduce a typed lambda-calculus which allows the use of exceptions in the ML style. It is an extension of the system AF2 of Krivine & Leivant (Krivine, 1990;... -
Analyse économique des exceptions
This dataset has no description
-
A CPS-semantics for a typed lambda-calculus of exception handling with fixed-...
Colloque avec actes et comité de lecture.
