Publication

On Fast Code Completion using Type Inhabitation

Related publications (122)

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.

Moving object detection between multiple and color images

Touradj Ebrahimi, Emrullah Durucan

There are several publications dedicated to the description and analysis of change detection between two gray-value images. This paper introduces new methods to detect moving objects between multiple images and to detect changes between color images or any ...

2003

A Nominal Theory of Objects with Dependent Types

Martin Odersky, Vincent Cremet, Matthias Zenger

We design and study newObj, a calculus and dependent type system for objects and classes which can have types as members. Type members can be aliases, abstract types, or new types. The type system can model the essential concepts of Java's inner classes as ...

2002

A Nominal Theory of Objects with Dependent Types

Martin Odersky, Vincent Cremet, Matthias Zenger

We design and study newObj, a calculus and dependent type system forobjects and classes which can have types as members. Type members canbe aliases, abstract types, or new types. The type system can modelthe essential concepts of Java's inner classes as we ...

2002

Flexibler Subtyping Relations for Component-Oriented Formalisms

In the first part of this paper we present a new general component-oriented formalism, which has, among others, the following features: Concurrency, atomicity, synchronization between and inside components, and modularity. We give the inference rules which ...

2002

Flexible Subtyping Relations for Component-Oriented Formalisms

2002

New structured beds formed by zeolites deposited on metallic and ceramic supports

Albert Renken, Lioubov Kiwi, Benoît Louis

The title bed is developed with in situ cryst. growth of zeolite ZSM-5 on different supports; metallic grids and glass fibers. The materials are characterized by diverse physicochem. methods. The chem. pretreatment of the support is a crucial parameter for ...

2001

Gallium zigzag chains as an ordering principle in h5-2,5-di-(t-butyl)phospholylgallium(I)

The solid state structure of h5-2,5-di-(t-butyl)phospholylgallium(I) 1 was detd. by x-ray diffraction at 190 K. The mols. of 1 are partly organized in a new type of structure: a Ga zigzag chain in which the arom. phospholyl rings alternate on both sides of ...

2001

A low weight resistant porous glass fiber having physical chemical or biological properties

Albert Renken, Lioubov Kiwi, Igor Iouranov

A low weight resistant porous glass fiber of type I is disclosed with a developed specific surface area of 5 times to 120 times the outer surface of a standard glass fiber, and a material having physical, chemical or biological reactive properties deposite ...

2000

Experimental determination of structure factor phases in biocrystallography

This manual describes the principles behind various types of experiments on biological samples using sychrotron radiation or neutrons, and it provides the technical understanding needed for interpreting the data collected. ...

Oxford University Press2000

A Functional View of Join

Martin Odersky, Matthias Zenger

Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming. We give a new operational semantics of join calculus, expressed as a reduction system with a single reduction rule similar to ...

1999