Publication
Spatially and genetically distinct control of seed germination by phytochromes A and B
Related publications (26)
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 York2023Studies on Types: Dormitories
Tiago André Pratas Borges, Anja Fröhlich, Estelle Lépine, Vanessa Pointet
Concepts of type and typology are not specific to architecture. Rather they represent an interdisciplinary approach to ordering knowledge and gaining insight. In the field of architecture, the study of types and typology offers a didactic perspective that ...
EPFL Press2022RNA Sequencing of Arabidopsis thaliana Seedlings after Non-Thermal Plasma-Seed Treatment Reveals Upregulation in Plant Stress and Defense Pathways
Ivo Furno, Alan Howling, Alexandra Waskow
Not all agricultural practices are sustainable; however, non-thermal plasma treatment of seeds may be an eco-friendly alternative to improve macroscopic plant growth parameters. Despite the numerous successful results of plasma-seed treatments reported in ...
MDPI2022Type-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 ...
2022A constitutively monomeric UVR8 photoreceptor confers enhanced UV-B photomorphogenesis
Kelvin Ka Ching Lau, Roman Podolec
The plant ultraviolet-B (UV-B) photoreceptor UVR8 plays an important role in UV-B acclimation and survival. UV-B absorption by homodimeric UVR8 induces its monomerization and interaction with the E3 ubiquitin ligase COP1, leading ultimately to gene express ...
NATL ACAD SCIENCES2021Virtual ADTs for Portable Metaprogramming
Martin Odersky, Nicolas Alexander Stucki
Scala 3 provides a metaprogramming interface that represents the abstract syntax tree definitions using algebraic data types. To allow the compiler to freely evolve without breaking the metaprogramming interface, we present virtual algebraic data types (or ...
ASSOC COMPUTING MACHINERY2021Higher-Order Subtyping with Type Intervals
Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...
EPFL2017LMS-Verify: Abstraction without Regret for Verified Systems Programming’
Performance critical software is almost always developed in C, as programmers do not trust high-level languages to deliver the same reliable performance. This is bad because low-level code in unsafe languages attracts security vulnerabilities and because d ...
Assoc Computing Machinery2017Just-in-time Analytics Over Heterogeneous Data and Hardware
Industry and academia are continuously becoming more data-driven and data-intensive, relying on the analysis of a wide variety of datasets to gain insights. At the same time, data variety increases continuously across multiple axes. First, data comes in mu ...
EPFL2017Type Soundness Proofs with Definitional Interpreters
While type soundness proofs are taught in every graduate PL class, the gap between realistic languages and what is accessible to formal proofs is large. In the case of Scala, it has been shown that its formal model, the Dependent Object Types (DOT) calculu ...
Assoc Computing Machinery2017