Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Pure type system

Publications associées (25)

Transversal magneto-resistance in epitaxial Fe3O4 and Fe3O4/NiO exchange biased system

We have investigated transversal magneto-resistance (MR) in epitaxial Fe3O4 and Fe3O4/NiO exchange biased systems. It was found that the magnetic field dependence and the magnitude of the transversal MR in both systems strongly depend on the bias current d ...

Amer Inst Physics2012

Darwinians, Communitarians and Missionaries: The Role of Founder Identity in Entrepreneurship

Marc Gruber, Emmanuelle Fauchart Foray

Drawing on social identity theory, we explore the identities, behaviors and actions of 49 firm founders in the sports-related equipment industry. Our analysis suggests the existence of three pure types of founder identities and shows how these identities s ...

Academy of Management2011

Capabilities for Uniqueness and Borrowing

Martin Odersky, Philipp Haller

An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...

Springer2010

Isolated Actors for Race-Free Concurrent Programming

Philipp Haller

Message-based concurrency using actors has the potential to scale from multicore processors to distributed systems. However, several challenges remain until actor-based programming can be applied on a large scale. First, actor implementations must be effic ...

EPFL2010

Opis: Reliable Distributed Systems in OCaml

Viktor Kuncak, Dejan Kostic

Concurrency and distribution pose algorithmic and implementation challenges in developing reliable distributed systems, making the field an excellent testbed for evaluating programming language and verification paradigms. Several specialized domain-specifi ...

2009