Concept
Type unité
Publications associées (5)
Abstractions for Type-Level Programming
Over the past decade, the Scala community has shown great interest in using type-level programming to obtain additional type safety.Unfortunately, the lack of support from the Scala compiler has been a barrier to the adoption of that technique, notably due ...
EPFL2022Higher-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 ...
EPFL2017Call Graphs for Languages with Parametric Polymorphism
Martin Odersky, Vlad Ureche, Dmytro Petrashko
The performance of contemporary object oriented languages depends on optimizations such as devirtualization, inlining, and specialization, and these in turn depend on precise call graph analysis. Existing call graph analyses do not take advantage of the in ...
2016Contextualized ranking of entity types based on knowledge graphs
Karl Aberer, Philippe Cudré-Mauroux, Michele Catasta, Roman Prokofyev
A large fraction of online queries targets entities. For this reason, Search Engine Result Pages (SERPs) increasingly contain information about the searched entities such as pictures, short summaries, related entities, and factual information. A key facet ...
Elsevier Science Bv2016SOLPS5 modelling of ELMing H-mode on TCV
Barbora Bruant Gulejová, Richard Pitts, Jan Horacek, Roland Behn, Marco Wischmeier, János Márki
Although ohmic H-modes have long been produced on the TCV tokamak and the effects of ELMs at the divertor targets studied in some detail [1], no attempt has yet been made to model the scrape-off layer (SOL) in these plasmas. This contribution describes det ...
2006