Travelled to:1 × France
1 × USA
Collaborated with:∅ L.Nguyen-Phuong
Talks about:interpret (1) calculus (1) checker (1) subtyp (1) prolog (1) method (1) integr (1) refin (1) type (1) mode (1)
Person: Yann Rouzaud
DBLP: Rouzaud:Yann
Contributed to:
1999
1992Wrote 2 papers:
- FM-v1-1999-Rouzaud #calculus #refinement
- Interpreting the B-Method in the Refinement Calculus (YR), pp. 411–430.
- JICSLP-1992-RouzaudN #prolog #type system
- Integrating Modes and Subtypes into a Prolog Type-Checker (YR, LNP), pp. 85–97.