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
Posted Content
Secure Multiparty Computation Goes Live
Peter Bogetoft,Dan Lund Christensen,Ivan Damgård,Martin Geisler,Thomas P. Jakobsen,Mikkel Krøigaard,Janus Dam Nielsen,Jesper Buus Nielsen,Kurt Nielsen,Jakob Pagter,Michael I. Schwartzbach,Tomas Toft +11 more
TL;DR: The first large-scale and practical application of multiparty computation was reported in this article, which took place in January 2008 and used the first large scale and practical implementation of MPC.
Journal ArticleDOI
Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 (Geneva, Switzerland, 1991, 15-19 July)
TL;DR: The positions of most participants at the 1991 W5 Workshop on Types, Inheritance and Assignments as discussed by the authors are presented in this collection, along with an invited paper by Luca Cardelli.
Journal ArticleDOI
Distributed Safety Controllers for Web Services
TL;DR: High-level synchronization constraints are used in a version of monadic second-order logic on finite strings to synthesize safety controllers for interactive web services to avoid state-space explosions and to increase the flow capacities of services.
Book ChapterDOI
Recursively Defined Types in Constructive Type Theory
TL;DR: In this article, the authors present an account of recursive definitions in a constructive type theory and discuss these definitions from the viewpoint of category theory, and the relationship between Martin-Lof's intuitionistic type theory (ITT) and categorical logic.
Journal ArticleDOI
Genericity and inheritance
TL;DR: It is proved that type substitution and inheritance together form an orthogonal basis for a general subclass relation that captures type-safe code reuse, and genericity and inheritance are independent, complementary components of a unified concept.