@techreport{degroote:inria-00098946, TITLE = {{On the semantics of static exception handling}}, AUTHOR = {de Groote, Philippe and Pili{\`e}re, Catherine}, URL = {https://inria.hal.science/inria-00098946}, NOTE = {Rapport interne. Fusionn{\'e} avec l'identifiant A00-R-197 || de\_groote00a}, TYPE = {Intern report}, NUMBER = {99-R-418 || de\_groote99a}, PAGES = {15 p}, YEAR = {1999}, KEYWORDS = {traitement d'exception statique ; functional programming ; static exception handling ; semantics ; computational adequacy ; s{\'e}mantique ; programmation fonctionnelle}, HAL_ID = {inria-00098946}, HAL_VERSION = {v1}, }