Sciweavers

Share
WSC
2008
9 years 10 months ago
Fast simulation of equity-linked life insurance contracts with a surrender option
In this paper, we consider equity-linked life insurance contracts that give their holder the possibility to surrender their policy before maturity. Such contracts can be valued us...
Carole Bernard, Christiane Lemieux
ERLANG
2007
ACM
9 years 11 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
books