Concept
Macro-définition
Publications associées (57)
Type-Preserving Compilation of Class-Based Languages
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 ...
EPFL2023Proof of Multi-Stage Programming with Generative and Analytical Macros
Martin Odersky, Nicolas Alexander Stucki, Jonathan Immanuel Brachthäuser
In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support ...
EPFL2021The effects of the tip clearance on the performance of small-scale turbopumps for ORC applications; analysis and modeling
Jürg Alexander Schiffmann, Sajjad Zakeralhoseini
In this paper, the influence of tip clearance on the performance of small-scale turbopumps is studied numerically on extensive parameter ranges suitable for organic Rankine cycle applications. A novel and fully parameterized design model is developed and u ...
Technical University of Munich2021Reduced-order Models for Simulating Coupled Geometric Instabilities in Steel Beam-columns Under Inelastic Cyclic Straining
Numerical models that can simulate coupled geometric instabilities in steel beam-columns are required for the seismic assessment of certain steel moment-resisting frames. Reliably simulating coupled instabilities requires that the steel material is precise ...
EPFL2021Could Macroscopic Dark Matter (Macros) Give Rise to Mini-Lightning Flashes out of a Blue Sky without Clouds?
A recent study pointed out that macroscopic dark matter (macros) traversing through the Earth’s atmosphere can give rise to hot and ionized channels similar to those associated with lightning leaders. The authors of the study investigated the possibility t ...
2021A Novel Macro-Micro Approach for Swimming Analysis in Main Swimming Techniques Using IMU Sensors
Kamiar Aminian, Farzin Dadashi, Mahdi Hamidi Rad, Vincent Gremeaux
Inertial measurement units (IMU) are proven as efficient tools for swimming analysis by overcoming the limits of video-based systems application in aquatic environments. However, coaches still believe in the lack of a reliable and easy-to-use analysis syst ...
FRONTIERS MEDIA SA2021A Mechanized Theory of Quoted Code Patterns
The pattern matching on code from the new macro system of Scala 3 is modeled by a calculus called λ half-circle. We present a mechanized proof of soundness of the calculus in Coq and discuss encountered challenges. ...
2020