Publication

Generics of a Higher Kind

Related publications (46)

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.

Type Classes as Objects and Implicits

Martin Odersky

Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important challenges in software engineering and programming languages such as, for examp ...

ACM2010

Phantm: PHP Analyzer for Type Mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We present Phantm, a static analyzer that uses a flow-sensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runtime information and procedure summaries for more precise results. Phantm foun ...

2010

Phantm: PHP analyzer for type mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2010

Hierarchical diffusion algorithms for distributed estimation

Ali H. Sayed

We study the problem of distributed estimation, where a set of nodes are required to collectively estimate some parameter of interest from their measurements. Distributed implementations avoid the use of a fusion center and distribute the processing and co ...

IEEE2009

Nonlinear Stability of Riemann Ellipsoids with Symmetric Configurations

Using modern differential geometric methods, we study the relative equilibria for Dirichlet's model of a self-gravitating fluid mass having at least two equal axes. We show that the only relative equilibria of this type correspond to Riemann ellipsoids for ...

Springer-Verlag2009

Treatment of renal artery aneurysm with the multilayer stent

Luca Augsburger, Daniel Ruefenacht, Bastien Chopard, Isabelle Henry

Purpose: To describe a new type of stent consisting of a 3-dimensional (3D) braided tube made of 2 interconnected layers without any covering to treat a renal artery aneurysm. ...

2008

Beyond Novelty Detection: Incongruent Events, when General and Specific Classifiers Disagree

Hynek Hermansky, Jie Luo

Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on ’incongruent events’ - when ’general level’ and ’specific level’ classifiers give conflicting predictions. We define a f ...

2008

Object-oriented pattern matching

Burak Emir

Pattern matching is a programming language construct considered essential in functional programming. Its purpose is to inspect and decompose data. Instead, object-oriented programming languages do not have a dedicated construct for this purpose. A possible ...

EPFL2007

What is the strength of a mask in visual metacontrast masking?

Michael Herzog, Gregory Francis

After more than a century of research, the mechanisms underlying visual masking are still hotly debated. One key characteristic of masking is that variations in the stimulus onset asynchrony (SOA) between the target and the mask can lead to either monotoni ...

Association for Research in Vision and Ophthalmology2007

Distributed Subtyping

Rachid Guerraoui, João Barreto

One of the most frequent operations in object-oriented programs is the "instanceof" test, also called the "subtyping" test or the "type inclusion" test. This test determines if a given object is an instance of some type. Surprisingly, despite a lot of rese ...

2006