Concept

Intuitionistic type theory

Publications associées (151)

The development of Mobility-as-a-Service in the Helsinki metropolitan area: A multi-level governance analysis

Matthias Finger, Maxime Ugo Julien Audouin

The concept of Mobility-as-a-Service (MaaS) has the potential to help break away from the current automobility system of private car ownership towards a more sustainable 'post-car' system. While technology undoubtedly plays an important role in the develop ...

ELSEVIER SCIENCE BV2018

A Monometallic Iron(I) Organoferrate

Xile Hu, Matthew Wodrich, Fedor Zhurkin

Tetra-n-butylammonium (TBA) (eta(6)-biphenyl)diphenyfferrate was formed unexpectedly in the reaction of (TBA)(2)[Fe4S4Cl4] with an excess of phenyllithium. This complex belongs to a novel type of organoferrate. ...

American Chemical Society2017

Type Soundness Proofs with Definitional Interpreters

Tiark Rompf, Nada Amin

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

Development of an integrated model for the design of fish-passes for small and medium head differences

Problematic: Which type of fish passes (FPs) are appropriate for small hydropower plants (HPPS) in Greece, based on their local characteristics (and thus, using the experience of the German experience)? Elaborate a decision making tool. Investigate dimensi ...

2017

deepschema.org: An Ontology for Typing Entities in the Web of Data

Karl Aberer, Michele Catasta, Panagiotis Smeros, Amit Gupta

Discovering the appropriate type of an entity in the Web of Data is still considered an open challenge, given the complexity of the many tasks it entails. Among them, the most notable is the definition of a generic and cross-domain ontology. While the onto ...

2017

Adaptive WENO methods based on radial basis functions reconstruction

Jan Sickmann Hesthaven, Caterina Bigoni

We explore the use of radial basis functions (RBF) in the weighted essentially non-oscillatory (WENO) reconstruction process used to solve hyperbolic conservation laws, resulting in a numerical method of arbitrarily high order to solve problems with discon ...

Springer Verlag2017

Investigation of different subjective response scales for thermal comfort analysis: Likert-type and visual analogue scales

Marilyne Andersen, Jan Wienold, Giorgia Chinazzo

Within the framework of a study investigating interactions among indoor environmental factors, two experiments were conducted on the effects of visual stimuli on thermal perception. Thermal responses were recorded with two methods, one quantitative via phy ...

2017

The Essence of Dependent Object Types

Martin Odersky, Tiark Rompf, Nada Amin, Sandro Stucki, Karl Samuel Grütter

Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D-

Springer International Publishing2016

Implementing Higher-Kinded Types in Dotty

Martin Odersky, Guillaume André Fradji Martres, Dmytro Petrashko

dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are jus ...

ACM2016

Robust Type-II Weyl Semimetal Phase in Transition Metal Diphosphides XP2 (X = Mo, W)

Oleg Yazyev, Gabriel Albert Autes

The recently discovered type-II Weyl points appear at the boundary between electron and hole pockets. Type-II Weyl semimetals that host such points are predicted to exhibit a new type of chiral anomaly and possess thermodynamic properties very different fr ...

Amer Physical Soc2016

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search