Travelled to:2 × France
Collaborated with:F.Orejas C.Martínez H.Ehrig
Talks about:parameter (1) framework (1) composit (1) paramet (1) languag (1) algebra (1) specif (1) result (1) interv (1) higher (1)
Person: Rosa M. Jiménez
DBLP: Jim=eacute=nez:Rosa_M=
Contributed to:
2010
1999
1993Wrote 3 papers:
- ICALP-v1-2010-JimenezM #sorting
- Interval Sorting (RMJ, CM), pp. 238–249.
- FM-v2-1999-JimenezO #algebra #framework #higher-order
- An Algebraic Framework for Higher-Order Modules (RMJ, FO), pp. 1778–1797.
- TAPSOFT-1993-EhrigJO #composition #parametricity #specification
- Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages (HE, RMJ, FO), pp. 31–45.