Concept
Hygienic macro
Related publications (34)
Dynamic Linkers Are the Narrow Waist of Operating Systems
Adrien Ghosn, Charly Nicolas Lucien Castes
While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...
Association for Computing Machinery2023Macro Annotations for Scala 3
Macro annotations are an important feature in Scala 2 macro system. Many projects use macro annotations to implement their systems or libraries. Due to the unportability of Scala 2 macro system, Scala 3 redesigns the macro system to make it more reliable a ...
2022Proof 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 ...
EPFL2021A 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. ...
2020MATHICSE technical Report : A parabolic local problem with exponential decay of the resonance error for numerical homogenization
Doghonay Arjmand, Edoardo Paganoni
This paper aims at an accurate and ecient computation of eective quantities, e.g., the homogenized coecients for approximating the solu- tions to partial dierential equations with oscillatory coecients. Typical multiscale methods are based on a micro-macro ...
MATHICSE2020Stoic: Towards Disciplined Capabilities
Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso
Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...
2020Analysing density and identifying lane changing behaviour using naturalistic data from a swarm of drones
In recent years, drones have come a long way from their early expensive military implementation to today’s relative accessibility to the wider public. Video stabilization and image recognition have also been very active field of research which influence is ...
2020Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...
EPFL2020Classification and Regression of Cognitive and Motivational Style from Text
In this paper, we describe the participation of the Idiap Research Institute at GermEval 2020 shared task on the Classification and Regression of Cognitive and Motivational style from Text, specifically on subtask 2, Classification of the Operant Motive Te ...
2020