D. Duval, J.-C. Reynaud. Diagrammatic logic and effects: the example of exceptions. Rapport de Recherche LSR, February 2005.
@TechReport{AP-05:vasco-91,
Author = {Duval, D. and Reynaud, J.-C.},
Title = {{Diagrammatic logic and effects: the example of exceptions}},
Institution = {LSR},
Month = {February},
Year = {2005}
}
Get EndNote Reference (.ref)