Concept

Type dépendant

Publications associées (317)

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

New York2023

Who was afraid of Yuri Mikhailovich and why? (peculiarities of the reception of the Tartu version of structuralism after the 1960s)

Alexander Dmitriev

The paper discussed different types of reactions to the emergence of Yuri Lotman's structuralism in the Soviet Union after 1960 ...

2023

A Mechanized Theory of the Box Calculus

Yichen Xu

Capture calculus is an extension of System Fsub that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previous calculi had mechanized soundness proofs, the latest version, namely the box ...

2023

‘How To Build a Villa By The Sea’ The Implicit Project of Villa-mania in Post-war Italy (1948-1973)

Michela Bonomo

In the collective imagination the villa is a manifesto of 'the good life’, often representing for architects a laboratory of experimentation and style and an exception in their portfolio. The fate of the villa in contemporary architecture and research cult ...

2023

Forms and Technologies of Italy’s Villa-mania (1955 -1970)

Michela Bonomo

The increasing interest towards the concept of the so called ‘escape from the city’, fueled by the recent pandemic, prompt us to put the holiday villa at the center of research attention. In the collective imagination the villa is a manifesto of 'the good ...

2023

Type and Elementary Structure: The Anthropological Turn

Jolanda Devalle

As Vidler suggests, the Third Typology’s radical proposition was to identify the nature of architectural elements as neither scientific nor technical but essentially architectural. For Martí Arís, this ‘essence’ of architecture is rooted in form-making, th ...

2023

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

New York2023

The Fifth Typology: A Symposium on Type and Architecture

Constantinos Marcou

A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous deﬁnitions and by offering a new interpretation of this rather elusive, but ...

2023

For the House Poor: The Fuggerei as an Early Example of Affordable Housing

Theodora Giovanazzi

Conference abstract: A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous deﬁnitions and by offering a new interpretation of thi ...

2023

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search