Concept

Type theory

Related publications (449)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

A Generic Algorithm for Checking Exhaustivity of Pattern Matching

Fengyun Liu

Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...

Assoc Computing Machinery2016

A generic algorithm for checking exhaustivity of pattern matching

Fengyun Liu

2016

Dependent Object Types

Nada Amin

A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. In particular, objects can contain type members, which can be selected as ...

EPFL2016

Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers

Nada Amin

We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down) casting. Fortunately, parame ...

Assoc Computing Machinery2016

Calculus of Variations for Differential Forms

Swarnendu Sil

In this thesis we study calculus of variations for differential forms. In the first part we develop the framework of direct methods of calculus of variations in the context of minimization problems for functionals of one or several differential forms of th ...

EPFL2016

Reducing the shell thickness of double emulsions using microfluidics

Esther Amstad, Antoine Claude Jean Vian

Double emulsion drops are well-suited templates to produce capsules whose dimensions can be conveniently tuned by adjusting those of the drops. To closely control the release kinetics of encapsulants, the composition and thickness of the capsule shell must ...

Springer Verlag2016

Decrypting Local Type Inference

Hubert Plociniczak

Statically typed languages verify programs at compile-time. As a result many programming mistakes are detected at an early stage of development. A programmer does not have to specify types for every single term manually, however. Many programming languages ...

EPFL2016

Glare Caused By Contrast Between Task And Immediate Surround: An Evaluation Of Luminance Distribution In The Field Of View

Marilyne Andersen, Jan Wienold, Peter Hansen, Mandana Sarey Khanie

Luminance ratios have historically been used to assess glare. Using data from a previous experiment, this exploratory study investigates the relationship between luminance variations in the field of view (FOV), measured as luminance ratios, and glare sensa ...

Cie Central Bureau2016

Rule of Thumb – Effect of Social Button Icons on Interaction

Denis Gillet, Samuel Bendahan, Adrian Christian Holzer, Andrii Vozniuk

Social buttons are now widespread in social media apps. They are used to assign weight to user content and trigger user engagement. They come in different shapes (e.g., thumb in Facebook, arrows in Reddit or StackOverflow, plus one in Google+) but very lit ...

2016