论文信息 - An extended type system for exceptions

An extended type system for exceptions

We present in this paper an extension to the ML type system by which it is possible to statically estimate all untrapped exceptions that can be raised by executing a program. This type system can handle polymorphic information on exceptions. A prinicipal extended type exists and can be computed for any well-typed expression.

Juan Carlos Guzman | Alfonso Suarez

[1] Pierre Jouvelot,et al. Algebraic reconstruction of types and effects , 1991, POPL '91.

[2] Luís Damas,et al. Type assignment in programming languages , 1984 .

[3] Xavier Leroy,et al. Polymorphic type inference and assignment , 1991, POPL '91.

[4] Luca Cardelli,et al. Modula-3 language definition , 1992, SIGP.

[5] Ascander Suarez. Une implementation de ml en ml , 1993 .

[6] M. Tofte. Operational Semantics and Polymorphic Type Inference , 1988 .

[7] David K. Gifford,et al. Integrating functional and imperative programming , 1986, LFP '86.

[8] Pierre Weis,et al. The CAML reference manual , 1990 .

[9] Juan Carlos Guzman. On expressing the mutation of state in a functional programming language , 1993 .