Concept
Langage dédié
Publications associées (244)
When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism
Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki
Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...
Assoc Computing Machinery2024Morphological and Material Programability of a Hall-Effect Based Soft Tactile Sensors
Josephine Anna Eleanor Hughes, Sudong Lee
The different receptors in human skin show not only diversity in the stimuli to which they respond, but also variable sensitivity and directionality. This is often determined by their location or morphology, and can play an important role in filtering or a ...
IEEE2024Fluorogenic polymethine dyes by intramolecular cyclization
Pablo Rivera Fuentes, Annabell Martin
Fluorescence imaging plays a pivotal role in the study of biological processes, and cell -permeable fluorogenic dyes are crucial to visualize intracellular structures with high specificity. Polymethine dyes are vitally important fluorophores in singlemolec ...
Elsevier Sci Ltd2024Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts
The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...
Los Alamitos2023