Concept
Constructed language
Related publications (71)
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 ...
EPFL2023Towards Novel Evaluation Methods for Social Dialog Systems
Language has shaped human evolution and led to the desire to endow machines with language abilities. Recent advancements in natural language processing enable us to achieve this breakthrough in human-machine interaction. However, introducing conversational ...
EPFL2023Exosomes, microvesicles, and other extracellular vesicles-a Keystone Symposia report
Michele De Palma, Ferdinando Pucci, Qin Zhang
Extracellular vesicles (EVs) are small, lipid-bilayer-bound particles released by cells that can contain important bioactive molecules, including lipids, RNAs, and proteins. Once released in the extracellular environment, EVs can act as messengers locally ...
WILEY2023Social/dialogical roles of social robots in supporting children's learning of language and literacy-A review and analysis of innovative roles
One of the many purposes for which social robots are designed is education, and there have been many attempts to systematize their potential in this field. What these attempts have in common is the recognition that learning can be supported in a variety of ...
FRONTIERS MEDIA SA2022