Travelled to:1 × Italy
1 × USA
Collaborated with:M.Elsman G.Sittampalam O.d.Moor
Talks about:transform (1) increment (1) specif (1) execut (1) applic (1) xhtml (1) type (1) web (1) ml (1)
Person: Ken Friis Larsen
DBLP: Larsen:Ken_Friis
Contributed to:
2004
2004Wrote 2 papers:
- PADL-2004-ElsmanL #html #ml #type system #web
- Typing XHTML Web Applications in ML (ME, KFL), pp. 224–238.
- POPL-2004-SittampalamML #execution #incremental #specification
- Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.