Concept
Upper class
Publications associées (51)
Poverty and Architecture: The Fuggerei as an Early Example of Affordable Housing
As Rafael Moneo asserted in his seminal article “On Typology,” the emergence of a new type can be considered a tangible signifier of changed architectural and historical circumstances, new modes of production, or social attitudes towards specific subjectiv ...
2023Type-preserving compilation of (most of) FGJ into DOT
Guillaume André Fradji Martres
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is not e ...
2022