A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis - Languages of Denmark - Document - PDFSEARCH.IO

First Page	Meta Content
	A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis}@brics.dk Add to Reading List Document Date: 2000-03-10 07:34:12 Open Document File Size: 296,36 KB Share Result on Facebook IndustryTerm reduction algorithm / computing / Web client / / Position programmer / forward / / ProgrammingLanguage D / HTML / / Technology HTML / Av / reduction algorithm / / SocialTag Structure Universal algebra Mathematics Formal languages Model theory

A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis}@brics.dkAdd to Reading List