M
Michael I. Schwartzbach
Researcher at Aarhus University
Publications - 124
Citations - 5080
Michael I. Schwartzbach is an academic researcher from Aarhus University. The author has contributed to research in topics: Type inference & XML schema. The author has an hindex of 34, co-authored 123 publications receiving 4966 citations. Previous affiliations of Michael I. Schwartzbach include BRICS & Aalborg University.
Papers
More filters
Journal ArticleDOI
Contracts for Cooperation between Web Service Programmers and HTML Designers
TL;DR: In this article, the authors propose a system based on XML templates and formalized contracts allowing a flexible separation of concerns between programmers and HTML designers, and describe tools that aid the construction and management of contracts and XML templates.
Journal ArticleDOI
Static correctness of hierarchical procedures
TL;DR: This work introduces an example language and proves the existence of a sound requirement which preserves static correctness while allowing hierarchical procedures, which establishes the theoretical basis for a general type hierarchy with static type checking, which enables first-order polymorphism combined with multiple inheritance and specialization in a language with assignments.
Journal ArticleDOI
Interpretations of recursively defined types
TL;DR: This paper studies interpretations, which are homomorphic, monotonic functions from types to sets of values, and shows that they form a partial order with a minimal and a maximal element.
Static Typing for
TL;DR: It is shown that the subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement in this theory of statically typed object-oriented languages.